Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

Hermanns, Holger

ID:DA13232905

Search authors sharing the same name

Search Results1-4 of 4

1

Computer aided verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings

Werner Damm, Holger Hermanns (eds.)

Springer c2007 Lecture notes in computer science 4590

Available at 6 libraries
2

CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings

Christel Baier, Holger Hermanns (eds.)

Springer c2006 Lecture notes in computer science 4137

Available at 11 libraries
3

Interactive Markov chains : and the quest for quantified quality

Holger Hermanns

Springer c2002 Lecture notes in computer science 2428

Available at 31 libraries
4

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Holger Hermanns, Roberto Segala (eds.)

Springer c2002 Lecture notes in computer science 2399

Available at 24 libraries

Search this author

Related Authors