Parameterized Synthesis

Roderick Paul Bloem, Swen Jacobs

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

Originalspracheenglisch
TitelTools and Algorithms for the Construction and Analysis of Systems
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten362-376
Band7214
ISBN (Print)978-3-642-28756-5
DOIs
PublikationsstatusVeröffentlicht - 2012
VeranstaltungInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Tallinn, Estland
Dauer: 24 Mär 20121 Apr 2012

Publikationsreihe

NameLecture notes in computer science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
LandEstland
OrtTallinn
Zeitraum24/03/121/04/12

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren