For the most recent entries see the Petri Nets Newsletter.

A Formal Method for Analyzing Software Architecture Models in SAM.

Yu, H.; He, Xudong; Deng, Y.; Mo, L.

In: Proc. of COMPSAC2002, Oxford, U.K., pages 645-652. 2002.


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

Back to the Petri Nets Bibliography