Did you mean: hermannhermanhermelin

search result

Cover von High-Performance Scientific Computing
First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4 - 5, 2016, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10164
Media group: MONOGRAPHIE
Cover von Verification of Open Interactive Markov Chains

Verification of Open Interactive Markov Chains

Year: 2012
Media group: ARTICLE
Cover von Multi-Core Memory Models and Concurrency Theory; 1
pp. 1-26
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 1
Media group: DAGSTUHL REPORT
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 Verification over discrete-continuous boundaries
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 10271
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Lectures on formal methods and performance analysis
first EEF / Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3 - 7, 2000, revised lectures
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2090
Media group: MONOGRAPHIE
Cover von CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)

Year: 2020
Media group: LIPIcs
Cover von Validation of stochastic systems
a guide to current research : Dagstuhl workshop : December 8 - 11, 2002
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 2925
Media group: MONOGRAPHIE
OPEN V 11.1.0.0