Automata‚ Model Checking and Synthesis for Linear Time Temporal LogicsReport as inadecuate




Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics - Download this document for free, or read online. Document in PDF available to download.

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





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

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



DOWNLOAD PDF




Related documents