Publications
M
Moutinho, Filipe, Lu{\'ı}s Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, and André Monteiro. "
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System."
Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 237-245.
Abstractn/a