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.

Testing ::::k::::-Safe Petri Nets

Gregor von Bochmann, Guy-Vincent Jourdan. Testing ::::k::::-Safe Petri Nets. In Manuel Núñez, Paul Baker, Mercedes G. Merayo, editors, Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Volume 5826 of Lecture Notes in Computer Science, pages 33-48, Springer, 2009. [doi]

Authors

Gregor von Bochmann

This author has not been identified. Look up 'Gregor von Bochmann' in Google

Guy-Vincent Jourdan

This author has not been identified. Look up 'Guy-Vincent Jourdan' in Google
runs on