Automatic verification of petri nets in a CLP framework
By: Hans Olsén
Contributors: Universitet i Linköping. Department of Computer and Information Science
Publisher: Department of Computer and Information Science, Linköping University
Published: 1997
Place of publication: Linköping
Language: eng
Number of pages: 251
Notes: doctoral Linköpings universitet 1997