Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Symbolic Petri Net Analysis Using Boolean Manipulation

Autor
Pastor, E.; Roig, O.; Cortadella, J.
Tipus d'activitat
Document cientificotècnic
Data
1997-02
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
CAP - Grup de Computació d'Altes Prestacions

Participants