Towards Efficient Parameterized Synthesis

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

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

Originalspracheenglisch
TitelVerification, Model Checking, and Abstract Interpretation
ErscheinungsortBerlin
Herausgeber (Verlag)Springer
Seiten108-127
Band7737
ISBN (Print)978-3-642-35872-2
DOIs
PublikationsstatusVeröffentlicht - 2013
VeranstaltungInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italien
Dauer: 20 Jan 201322 Jan 2013

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Verification, Model Checking, and Abstract Interpretation
LandItalien
OrtRome
Zeitraum20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren