Decidability of parameterized verification

Detalles Bibliográficos
Autores principales: Bloem, Roderick, Jacobs, Swen, Khalimov, Ayrat, Konnov, Igor
Lenguaje:eng
Publicado: Morgan & Claypool Publ. 2015
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2123667

Internet

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

Ejemplares similares