Automata‚ Model Checking and Synthesis for Linear Time Temporal LogicsReportar como inadecuado




Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Reference: Matthew Hague, (2006). Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics.Citable link to this page:

 

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics

Bibliographic Details

Issue Date: 2006Identifiers

Urn: uuid:a0dada8b-2943-45bd-8c33-949efaa64165 Item Description

Type: General item; Tiny URL: cs:2709

Relationships





Autor: Matthew Hague - - - - Bibliographic Details Issue Date: 2006 - Identifiers Urn: uuid:a0dada8b-2943-45bd-8c33-949efaa64165 - - - I

Fuente: https://ora.ox.ac.uk/objects/uuid:a0dada8b-2943-45bd-8c33-949efaa64165



DESCARGAR PDF




Documentos relacionados