Loading...
Loading...

Go to the content (press return)

Symbolic Petri Net Analysis Using Boolean Manipulation

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

Participants