search result

Cover von Process algebra and probabilistic methods
performance modeling and verification : second joint international workshop Copenhagen, Denmark, July 25 - 26, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2399
Media group: MONOGRAPHIE
Cover von Probabilistic Logical Characterization; 2
article : pp. 154-172
Search for this author
Year: 2011
Publisher: Amsterdam, Elsevier
Count: 2
Media group: ARTICLE
Cover von The theory of timed I/O automata
Search for this author
Year: 2006
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis lectures on computer science; 1
Media group: MONOGRAPHIE
OPEN V 11.1.0.0