Loading...
Loading...

Go to the content (press return)

Symbolic model checking of Petri nets for the verification of speed-independent circuits

Author
Roig, O.; Cortadella, J.; Pastor, E.
Type of activity
Report
Date
1994-12
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
CAP - High Performace Computing Group

Participants