Next:
Exclusión mutua a nivel
Up:
Representaciónes usadas en la
Previous:
Lógica temporal
Índice General
Redes de Petri
© 2001, Dr. Arno Formella, Universidad de Vigo, Departamento de Informática
