DMCA

Deriving Petri Nets from Finite Transition Systems (1998)

by Jordi Cortadella , Michael Kishinevsky , Luciano Lavagno , Alexandre Yakovlev
Venue:IEEE Transactions on Computers
Citations:80 - 8 self