Volume 74,
June 2001
The Formal Specification Column
The Computational Complexity Column
The Logic in Computer Science Column
The Distributed Computing Column
The Concurrency Column
- Holger Hermanns:
Construction and Verification of Performance and Reliability Models.
135-153
The Natural Computing Column
The Formal Language Theory Column
Technical Contributions
Copyright © Tue Dec 22 22:01:42 2009
by Michael Ley (ley@uni-trier.de)