The automatic analysis of formal real-time system specifications

Detalles Bibliográficos
Autor principal: Quirk, W J
Lenguaje:eng
Publicado: 1978
Materias:
Acceso en línea:http://cds.cern.ch/record/120196