PZ nets - A formal method integrating petri nets with Z Conference

HE, XD. (1995). PZ nets - A formal method integrating petri nets with Z . 173-180.

cited authors

  • HE, XD

authors

date/time interval

  • June 22, 1995 -

publication date

  • January 1, 1995

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology

Location

  • MD, ROCKVILLE

International Standard Book Number (ISBN) 10

Conference

  • 7th International Conference on Software Engineering and Knowledge Engineering

publisher

  • KNOWLEDGE SYSTEMS INSTITUTE

start page

  • 173

end page

  • 180