- Authors:
- Matussek, Tim; Brunthaler, Stefan
- Document type:
- Konferenzbeitrag / Conference Paper
- Title:
- Bisimulation: Analyzing Divergent Interpreter Implementations
- Collection editors:
- Brunthaler, Stefan
- Title of conference publication:
- Tagungsband des 23. Kolloquium Programmiersprachen und Grundlagen der Programmierung
- Subtitle of conference publication:
- 25–28 September 2025 Feldkirchen-Westerham, Deutschland
- Organizer (entity):
- Brunthaler, Stefan
- Conference title:
- Kolloquium Programmiersprachen und Grundlagen der Programmierung (23., 2025, Feldkirchen-Westerham)
- Venue:
- Feldkirchen-Westerham
- Year of conference:
- 2025
- Date of conference beginning:
- 25.09.2025
- Date of conference ending:
- 28.09.2025
- Place of publication:
- Neubiberg
- Publishing institution:
- Universität der Bundeswehr München, Fakultät für Informatik
- Year:
- 2026
- Pages from - to:
- 63-67
- Language:
- Englisch
- ISBN:
- 978-3-98997-006-9
- DOI:
- 10.18726/154170
- Department:
- Fakultät für Informatik
- Institute:
- INF 6 - Institut für Systemsicherheit
- Chair:
- Brunthaler, Stefan
- Research Hub UniBw M:
- CODE
- Open Access yes or no?:
- Ja / Yes
- Type of OA license:
- CC BY 4.0
- Licence URL:
- https://creativecommons.org/licenses/by/4.0/

BibTeX