Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Roderick Paul Bloem, Krishnendu Chatterjee, Swen Jacobs, Robert Könighofer

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

Originalspracheenglisch
TitelTools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference
ErscheinungsortBerlin Heidelberg
Herausgeber (Verlag)Springer
Seiten517-532
Band9035
ISBN (Print)978-3-662-46680-3
DOIs
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems - London, Großbritannien / Vereinigtes Königreich
Dauer: 13 Apr 201517 Apr 2015

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
LandGroßbritannien / Vereinigtes Königreich
OrtLondon
Zeitraum13/04/1517/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Dieses zitieren