Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

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

Participants