For the most recent entries see the Petri Nets Newsletter.

Haverkort, B.

Baier, Christel; Haverkort, Boudewijn; Hermanns, Holger; Katoen, Joost-Pieter:
Automated Performance and Dependability Evaluation Using Model Checking. 2002.

Do you need a refined search? Try our search engine which allows complex field-based queries.
The link to the author's homepage is provided by the database of Petri net researchers.

Back to the Petri Nets Bibliography