search result

Cover von Labelled Markov Processes
Author: Panangaden, Prakash Search for this author
Year: 2009
Publisher: London, Imperial College Press
Media group: MONOGRAPHIE
Cover von Bisimulation Metrics for Weighted Automata

Bisimulation Metrics for Weighted Automata

Year: 2017
Media group: LIPIcs
Cover von The Ackermann Award 2025

The Ackermann Award 2025

Year: 2026
Media group: LIPIcs
Cover von The Ackermann Award 2024

The Ackermann Award 2024

Year: 2025
Media group: LIPIcs
Cover von Computational structures for modelling space, time and causality; 405
special issue : S. 1-205
Search for this author
Year: 2008
Publisher: Amsterdam, Elsevier
Count: 405
Media group: SPECIAL ISSUE
Cover von Computational structures for modelling space, time and causality
Search for this author
Year: 2006
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 06341
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Selected papers of the ninth international workshop on expressiveness in concurrency; 2
August 19, 2002 : S. 69 - 183
Search for this author
Year: 2003
Publisher: Helsinki, University
Count: 2
Media group: SPECIAL ISSUE
Cover von Selected papers of the eighth international workshop on expressiveness on concurrency; 2
August 20, 2001 : S. 69 - 188
Search for this author
Year: 2002
Publisher: Helsinki, University
Count: 2
Media group: SPECIAL ISSUE
Cover von Interpreting Lambda Calculus in Domain-Valued Random Variables

Interpreting Lambda Calculus in Domain-Valued Random Variables

Year: 2026
Media group: LIPIcs
Cover von Expressiveness of Probabilistic Modal Logics, Revisited

Expressiveness of Probabilistic Modal Logics, Revisited

Year: 2017
Media group: LIPIcs
OPEN V 11.1.0.0