For the most recent entries see the Petri Nets Newsletter.

A Formal Method for Analyzing Software Architecture Models in SAM.

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

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


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

Back to the Petri Nets Bibliography