PZ nets - a formal method integrating Petri nets with Z Article

cited authors

  • He, XD

publication date

  • January 2001

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 43

issue

  • 1

research area