Optimizations for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Formal Methods in Computer-Aided Design
Publisher.
Pages?-?
Publication statusPublished - 2006
EventInternational Conference on Formal Methods in Computer-Aided Design - San Jose, California, United States
Duration: 12 Nov 200616 Nov 2006

Conference

ConferenceInternational Conference on Formal Methods in Computer-Aided Design
CountryUnited States
CitySan Jose, California
Period12/11/0616/11/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Jobstmann, B., & Bloem, R. P. (2006). Optimizations for LTL synthesis. In International Conference on Formal Methods in Computer-Aided Design (pp. ?-?). ..

Optimizations for LTL synthesis. / Jobstmann, Barbara; Bloem, Roderick Paul.

International Conference on Formal Methods in Computer-Aided Design. ., 2006. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Jobstmann, B & Bloem, RP 2006, Optimizations for LTL synthesis. in International Conference on Formal Methods in Computer-Aided Design. ., pp. ?-?, International Conference on Formal Methods in Computer-Aided Design, San Jose, California, United States, 12/11/06.
Jobstmann B, Bloem RP. Optimizations for LTL synthesis. In International Conference on Formal Methods in Computer-Aided Design. . 2006. p. ?-?
Jobstmann, Barbara ; Bloem, Roderick Paul. / Optimizations for LTL synthesis. International Conference on Formal Methods in Computer-Aided Design. ., 2006. pp. ?-?
@inproceedings{dd150b9971624b14a4c06f4e84e20740,
title = "Optimizations for LTL synthesis",
author = "Barbara Jobstmann and Bloem, {Roderick Paul}",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "International Conference on Formal Methods in Computer-Aided Design",
publisher = ".",

}

TY - GEN

T1 - Optimizations for LTL synthesis

AU - Jobstmann, Barbara

AU - Bloem, Roderick Paul

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - International Conference on Formal Methods in Computer-Aided Design

PB - .

ER -