For the most recent entries see the Petri Nets Newsletter.

Formal Software Architecture Design of Secure Distributed Systems.

Yu, Huiqun; He, Xudong; Gao, Shu; Deng, Yi

In: Proc. of SEKE 2003, pages 450-457. July 2003.

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

Back to the Petri Nets Bibliography