Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Matthias Schlaipfer, Georg Hofferek, Roderick Paul Bloem

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

Originalspracheenglisch
TitelHardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ErscheinungsortBerlin Heidelberg
Herausgeber (Verlag)Springer
Seiten20-34
Band7261
ISBN (Print)978-3-642-34187-8
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungHaifa Verification Conference 2011 - Haifa, Israel
Dauer: 6 Dez 20118 Dez 2011

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzHaifa Verification Conference 2011
LandIsrael
OrtHaifa
Zeitraum6/12/118/12/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Dieses zitieren