Versión - Temporal verification of reactive systems :
-
1
Temporal verification of reactive systems : safety
Nueva York : [S.n.], 1995Consultar en el Cátalogo
Libro -
2
Temporal verification of reactive systems : safety
Nueva York : [S.n.], 1995Consultar en el Cátalogo
Libro