Volume 68,
June 1999
The Computational Complexity Column
Formal Specification Column
- Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages.
81-89 BibTeX
The Logic in Computer Science Column
The Concurrency Column
The Natural Computing Column
The Formal Language Theory Column
Technical Contributions
Copyright © Sat May 16 23:57:44 2009
by Michael Ley (ley@uni-trier.de)