Eintrag weiter verarbeiten
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress)
Gespeichert in:
Zeitschriftentitel: | Electronic Notes in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , , , |
In: | Electronic Notes in Theoretical Computer Science, 149, 2006, 2, S. 91-104 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Elsevier BV
|
Schlagwörter: |