Towards Efficient Parameterized Synthesis

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Place of PublicationBerlin
PublisherSpringer
Pages108-127
Volume7737
ISBN (Print)978-3-642-35872-2
DOIs
Publication statusPublished - 2013
EventInternational Conference on Verification, Model Checking, and Abstract Interpretation - Rome, Italy
Duration: 20 Jan 201322 Jan 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Conference on Verification, Model Checking, and Abstract Interpretation
CountryItaly
CityRome
Period20/01/1322/01/13

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this