1996
Conference Paper
Title

Test case generation for ATM protocols using high-level Petri net models

Author(s)
Bechtold, R.
Gattung, G.
Henniger, O.
Paule, C.
Mainwork
Conference
Language
English
Keyword(s)