Record
Automata‚ Model Checking and Synthesis for Linear Time Temporal Logics
Actions
Authors
Bibliographic Details
- Publication date:
- 2006-01-01
Item Description
- UUID:
-
uuid:a0dada8b-2943-45bd-8c33-949efaa64165
- Local pid:
- cs:2709
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2006
If you are the owner of this record, you can report an update to it here: Report update to this record