direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking
Citation key Stoehr13a
Author Daniel Stöhr and Sabine Glesner
Title of Book 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13)
Pages 7-14
Year 2013
DOI 10.1109/TASE.2013.9
Publisher IEEE Computer Society
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions