Generalized equivalence checking of concurrent programs
Bisping, Benjamin ; Nestmann, Uwe ; van Glabbeek, Rob J. ; Groote, Jan Friso 2025 Technische Universität Berlin
- Link zu diesem Datensatz
-
https://d-nb.info/1384544925
- Titel
-
Generalized equivalence checking of concurrent programs
- Art des Inhalts
- Monographie
- Verfassangaben
- Benjamin Bisping ; Gutachter: Uwe Nestmann, Rob J. van Glabbeek, Jan Friso Groote ; Betreuer: Uwe Nestmann
- Autor(en)
-
- Bisping, Benjamin
- Nestmann, Uwe
- van Glabbeek, Rob J.
- Groote, Jan Friso
- Verlag
- Berlin : Technische Universität Berlin [2025]
- Jahr
- Erscheinungsdatum: 2025
- Umfang/Format
- Online-Ressource
- DOI
- 10.14279/depositonce-24813
- Online
- https://doi.org/10.14279/depositonce-24813
- Sprache
- eng
- Schlagwörter
-
- Abweichende Titel
-
- Verallgemeinerte Gleichheitsprüfung nebenläufiger Programme
- Stand
- 01.02.2026 14:27
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
