Ricardo Wagner De Araújo

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

1 Ricardo Wagner De Araújo, Adelardo A. D. Medeiros: Verification of Procedural Reasoning Systems (PRS) Programs Using Coloured Petri Nets (CPN). AIAI 2004: 421-434

2004
1		Ricardo Wagner De Araújo, Adelardo A. D. Medeiros: Verification of Procedural Reasoning Systems (PRS) Programs Using Coloured Petri Nets (CPN). AIAI 2004: 421-434

Coauthor Index

1 Adelardo A. D. Medeiros [1]