The spin model checker: primer and reference manual

Detalles Bibliográficos
Autor principal: Holzmann, Gerald J
Lenguaje:eng
Publicado: Addison-Wesley 2004
Materias:
Engineering
Acceso en línea:http://cds.cern.ch/record/1506048

Internet

http://cds.cern.ch/record/1506048

Ejemplares similares