Parameterized Synthesis

Roderick Paul Bloem, Swen Jacobs

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

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages362-376
Volume7214
ISBN (Print)978-3-642-28756-5
DOIs
Publication statusPublished - 2012
EventInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - Tallinn, Estonia
Duration: 24 Mar 20121 Apr 2012

Publication series

NameLecture notes in computer science
PublisherSpringer

Conference

ConferenceInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
CountryEstonia
CityTallinn
Period24/03/121/04/12

Fields of Expertise

  • Information, Communication & Computing

Cite this