Bernd-Holger Schlingloff
Identifiers
- Open LibraryOL7961319A
Top Subjects
- Mathematics (1)
Books by Bernd-Holger Schlingloff
Total count: 3
-
Tum Institut für Informatik zur temporalen Logik von Bäumen1990-01-01
-
Formal Methods for Software EngineeringLanguages, Methods, Application DomainsSpringer2020-09-22
-
Concurrency, Specification and ProgrammingRevised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming , Berlin, GermanySpringer International Publishing AG2024-01-01