Testable Design Verification Using Petri Nets.

Richard Ruzicka

Browse the full DSD paper archive.