Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2005
Martinez, J.M. and Haverkort, B.R.H.M.
(2005)
CSL Model Checking of Deterministic and Stochastic Petri Nets.
Technical Report TR-CTIT-05-63,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||