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 © Wed Jun 4 19:08:49 2008
by Michael Ley (ley@uni-trier.de)