A new approach to verify rule-based systems using petri nets Article

International Collaboration

cited authors

  • He, XD; Chu, WC; Yang, HJ

fiu authors

publication date

  • July 2003

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 45

issue

  • 10

research area