Prototyping and Formal Analysis of Concurrent and Distributed Systems.

For the most recent entries see the Petri Nets Newsletter.

In: Sixth International Workshop on Software Specification and Design, Como, Italy, pages 60-66. 1991.

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