Login / Signup

On Testing 1-Safe Petri Nets.

Guy-Vincent JourdanGregor von Bochmann
Published in: TASE (2009)
Keyphrases