Modeling and simulating interaction protocols using nested Petri nets
Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva; International Conference on Software Engineering and Formal Methods - SEFM (11th, 2013, Madrid)
Software engineering and formal methods Cham: Springer, 2014
Cham Springer 2014
Localização:
IME - Inst. Matemática e Estatística
(PROD-2506371 )(Acessar)