For the most recent entries see the Petri Nets Newsletter.

Formal Analysis of Real-Time Systems with SAM.

Yu, Huiqun; He, Xudong; Deng, Yi; Mo, Lian

In: Proc. of the 4th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, pages 275-286. October 2002.

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

Back to the Petri Nets Bibliography