Holger Hermanns

8 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Showing all works by author. Would you like to see only ebooks?

Interactive Markov Chains

by Holger Hermanns First published in 2002 — 2 editions

Not in Library

My Reading Lists:

Create a new list

Create a new list
×Close

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, and Markus Siegle First published in 2004 — 2 editions

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
Process Algebra and Probabilistic Methods : Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

by Holger Hermanns and Roberto Segala First published in 2003 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
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

by Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen First published in 2003 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30 2006

by Christel Baier and Holger Hermanns First published in 2006 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

by Werner Damm and Holger Hermanns First published in 2007 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

by Holger Hermanns and Jens Palsberg First published in 2006 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close
Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, ...

by Holger Hermanns First published in 2020 — 1 edition

Not in Library

My Reading Lists:

Create a new list

Read None Edit

When did you finish this book? 2024 Today Other

Check-In
×Close

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL3180218A

Links outside Open Library

No links yet. Add one?

History

Created April 30, 2008
1 revision

Download catalog record: RDF / JSON

April 30, 2008

Created by an anonymous user

initial import

Holger Hermanns

8 works Add another?

Create a new list

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History