History
1
an:70168173
1


Please fill in your query. A complete syntax description you will find on the General Help page.
ITPN-perfbound: A performance bound tool for interval time Petri nets (English)
TACAS, 50-53 (2009).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!