search result

Cover von Quantitative Models
Expressiveness and Analysis
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10031
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Tools and algorithms for the construction and analysis of systems
first international workshop : Aarhus, Denmark, May 19 - 20, 1995 : selected papers
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1019
Media group: MONOGRAPHIE
Cover von Models, Mindsets, Meta
The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 11200
Media group: MONOGRAPHIE
Cover von Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author: Larsen, Kim Guldstrand Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 10460
Media group: MONOGRAPHIE
Cover von Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12 - 14, 2015, Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 8931
Media group: MONOGRAPHIE
Cover von Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Author: Breugel, Franck van
Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0