Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Symbolic Analysis of Bounded Petri Nets

Autor
Pastor, E.; Cortadella, J.; Roig, O.
Tipus d'activitat
Article en revista
Revista
IEEE transactions on computers
Data de publicació
2001-05
Volum
50
Número
5
Pàgina inicial
432
Pàgina final
448
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
CAP - Grup de Computació d'Altes Prestacions

Participants