External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Procedural Reasoning Systems (PRS) Programs Using Coloured Petri Nets (CPN)

Ricardo Wagner De Araújo, Adelardo A. D. Medeiros. Verification of Procedural Reasoning Systems (PRS) Programs Using Coloured Petri Nets (CPN). In Max Bramer, Vladan Devedzic, editors, Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France. pages 421-434, Kluwer, 2004.

Abstract

Abstract is missing.

runs on