E. Garcez;W. Rosenstiel
-;-
Verification of embedded systems using a petri net based representation
ISSS '00 Proceedings of the 13th international symposium on System synthesis