For the most recent entries see the Petri Nets Newsletter.

Tools for Verifying Specifications.

Kujansuu, R.; Lindqvist, M.; Ojala, L.; Tuominen, H.

Research Report Series B, No. 31. Otaniemi: Helsinki Univ. of Techn., Dig. Syst. Lab., 1985.


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

Back to the Petri Nets Bibliography