For the most recent entries see the Petri Nets Newsletter.

Hybrid modeling and verification of Java based software.

Kulakowski, Konrad

In: Software Engineering Techniques: Design for Quality, pages 121-126. 2006. URL: http://dx.doi.org/10.1007/978-0-387-39388-912.


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

Back to the Petri Nets Bibliography