Optimizations for LTL synthesis

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	International Conference on Formal Methods in Computer-Aided Design
Herausgeber (Verlag)	.
Seiten	?-?
Publikationsstatus	Veröffentlicht - 2006
Veranstaltung	International Conference on Formal Methods in Computer-Aided Design - San Jose, California, USA / Vereinigte Staaten Dauer: 12 Nov. 2006 → 16 Nov. 2006

Konferenz	International Conference on Formal Methods in Computer-Aided Design
Land/Gebiet	USA / Vereinigte Staaten
Ort	San Jose, California
Zeitraum	12/11/06 → 16/11/06

Treatment code (Nähere Zuordnung)

@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 = ".",

note = "International Conference on Formal Methods in Computer-Aided Design ; Conference date: 12-11-2006 Through 16-11-2006",

}