dblp.uni-trier.de www.uni-trier.de

Bulletin of the EATCS, Volume 61

Volume 61, February 1997

Formal Specification Column The Formal Language Theory Column Technical Contributions

Copyright © Wed Jun 4 19:08:48 2008 by Michael Ley (ley@uni-trier.de)