For the most recent entries see the Petri Nets Newsletter.

Model checking of high-level object oriented specifications: the LfP experience.

Gilliers, Frederic; Breant, Francois; Poitrenaud, Denis; Kordon, Fabrice

In: Daniel Moldt (Ed.): Proceedings of the Third Workshop on Modelling of Objects, Components, and Agents, Aarhus, Denmark, October 8-11, 2004, DAIMI PB - 571, pages 149-168. October 2004.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography