Author Publications

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.

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.

2005

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

This list was generated on Sat May 25 05:54:08 2013 CEST.