For the most recent entries see the Petri Nets Newsletter.

Component Tools: Application and Integration of Formal Methods.

Kindler, Ekkart; Rubin, Vladimir; Wagner, Robert

In: Workshop Object Orientierte Software Entwicklung 2005 (OOSE '05), Satellite event of Net.ObjectDays 2005. September 2005.


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

Back to the Petri Nets Bibliography