Search
for Author
All Reviews
Hermanns, Holger
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Performance evaluation and model checking join forces
Baier C., Haverkort B., Hermanns H., Katoen J. Communications of the ACM 53(9): 76-85, 2010. Type: Article
I liked this history when I first skimmed it. ¿Now, I’m not so sure. ¿...
...
Feb 24 2011
CONCUR 2006 - Concurrency Theory: 17th International Conference, Bonn, Germany, August 27-30, 2006 (Lecture Notes in Computer Science 4137)
Baier C., Hermanns H., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 525 pp. Type: Book (9783540373766)
Concurrency has proven to be a tough problem in our computational paradigm. This book includes 34 papers presented at the 17th International Conference on Concurrency Theory. As with most books based on conference proceedings, it cover...
...
Mar 6 2007
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy