Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2006 | 2005
Number of items: 3.

2006

Martinez, José M and Haverkort, Boudewijn R. (2006) MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 September 2006, Riverside, CA, USA (pp. pp. 133-134).

Martinez, José M and Haverkort, Boudewijn R. (2006) CSL model checking of deterministic and stochastic Petri nets. In: 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nürnberg, Germany (pp. pp. 265-282).

2005

Martinez, José M and Haverkort, Boudewijn R. (2005) CSL model checking of Deterministic and Stochastic Petri Nets. [Report]

This list was generated on Mon Nov 24 05:26:47 2014 CET.