direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking
Zitatschlüssel Stoehr13a
Autor Daniel Stöhr and Sabine Glesner
Buchtitel 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13)
Seiten 7-14
Jahr 2013
DOI 10.1109/TASE.2013.9
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe