Optimizations for LTL synthesis

Barbara Jobstmann, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInternational Conference on Formal Methods in Computer-Aided Design
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Conference on Formal Methods in Computer-Aided Design - San Jose, California, USA / Vereinigte Staaten
Dauer: 12 Nov 200616 Nov 2006

Konferenz

KonferenzInternational Conference on Formal Methods in Computer-Aided Design
LandUSA / Vereinigte Staaten
OrtSan Jose, California
Zeitraum12/11/0616/11/06

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren