Julkaisut sisältäen Holger Hermanns

Cover for Holger Hermanns · 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, Proceed (Paperback Book) [2006 edition] (2006)
Paperback Book
2006 edition
Tools and Algorithms for the Con...
Holger Hermanns
Cover for Holger Hermanns · Interactive Markov Chains: The Quest for Quantified Quality - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)
Paperback Book
2002 edition
Interactive Markov Chains: The Q...
Holger Hermanns