Ricardo Wagner De Araújo

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Ricardo Wagner De Araújo, Adelardo A. D. Medeiros
Verification of Procedural Reasoning System (PRS) Programs Using Coloured Petri Nets (CPN). AIAI (2004)