Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Conservative symbolic model-checking of Petri nets for speed-independent circu

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

Participants