search result

Cover von TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Challenges; 14550
Media group: MONOGRAPHIE
Cover von Volume XV.; Transactions on Petri Nets and Other Models of Concurrency XV
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Volume: Volume XV.
Series: Lecture notes in computer science : Journal Subline; 12530
Media group: MONOGRAPHIE
Cover von Part III.; Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS : TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part III
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part III.
Series: Lecture notes in computer science : ARCoSS; 11429
Media group: MONOGRAPHIE
Cover von Distibuted Systems
Design and Algorithms
Search for this author
Year: 2011
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
Cover von Models and Analysis for Distributed Systems
Search for this author
Year: 2011
Publisher: Chichester, Wiley
Media group: MONOGRAPHIE
OPEN V 11.1.0.0