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