- Autorinnen/Autoren:
- Matussek, Tim; Brunthaler, Stefan
- Dokumenttyp:
- Vortrag / Presentation
- Titel:
- Bisimulation: Analyse von divergierenden Interpreterimplementationen
- Konferenztitel:
- Kolloquium Programmiersprachen und Grundlagen der Programmierung (23., 2025, Feldkirchen-Westerham)
- Tagungsort:
- Feldkirchen-Westerham
- Jahr der Konferenz:
- 2025
- Datum Beginn der Konferenz:
- 25.09.2025
- Datum Ende der Konferenz:
- 28.09.2025
- Jahr:
- 2025
- Sprache:
- Deutsch
- Fakultät:
- Fakultät für Informatik
- Institut:
- INF 6 - Institut für Systemsicherheit
- Professorin/Professor:
- Brunthaler, Stefan
- Forschungszentrum:
- CODE
- Open Access:
- Nein / No
- Vortrag bei:
- 23. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2025)
BibTeX