search result

Cover von Compositional Reasoning for Parametric Probabilistic Automata

Compositional Reasoning for Parametric Probabilistic Automata

Year: 2025
Media group: LIPIcs
Cover von A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games

Year: 2025
Media group: LIPIcs
Cover von Real-time and probabilistic systems; 1
special issue : S. 1-220
Search for this author
Year: 2002
Publisher: Amsterdam, Elsevier
Count: 1
Media group: SPECIAL ISSUE
Cover von Formal methods for real-time and probabilistic systems
5th international AMAST workshop : Bamberg, Germany, May 26 - 28, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1601
Media group: MONOGRAPHIE
Cover von Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems

Year: 2011
Media group: ARTICLE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2026
Media group: LIPIcs
Cover von LIPIcs, Volume 380, LICS 2026, Complete Volume

LIPIcs, Volume 380, LICS 2026, Complete Volume

Year: 2026
Media group: LIPIcs
Cover von 41st Annual Symposium on Logic in Computer Science
LICS 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 380
Media group: LIPIcs
Cover von CONCUR 2011 - Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6 - 9, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science : ARCoSS; 6901
Media group: MONOGRAPHIE
Cover von Principles of model checking
Author: Baier, Christel; Katoen, Joost-Pieter Search for this author
Year: 2008
Publisher: Cambridge, MIT Press
Media group: MONOGRAPHIE
OPEN V 11.1.0.0