General item icon

General item

Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics

Actions


Access Document


Files:

Authors


Matthew Hague More by this author
Publication date:
2006
URN:
uuid:a0dada8b-2943-45bd-8c33-949efaa64165
Local pid:
cs:2709

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP