Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

Loading...
Thumbnail Image
Date
2002
Authors
Kovalyov, Andrei
Journal Title
Journal ISSN
Volume Title
Publisher