BCS-FACS Workshop on Specificiation and Verification of Concurrent Systems

Detalles Bibliográficos
Autor principal: Rattray, Charles
Lenguaje:eng
Publicado: Springer 1990
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/211407

Internet

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

Ejemplares similares