@INPROCEEDINGS{
author = {Petr Novosad and Milan {\v{C}}e{\v{s}}ka},
title = {Algorithms for Computing Coverability Graphs for Hybrid
Petri Nets},
pages = {177--183},
booktitle = {4th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science},
year = {2008},
location = {Brno, CZ},
publisher = {Masaryk University},
ISBN = {978-80-7355-082-0},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8825}
} |