Cooperative Reactive Synthesis

Roderick Bloem, Rüdiger Ehlers, Robert Könighofer

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

Originalspracheenglisch
TitelAutomated Technology for Verification and Analysis (ATVA'15)
ErscheinungsortBerlin-Heidelberg
Herausgeber (Verlag)Springer
Seiten394-410
Band9364
ISBN (Print)978-3-319-24952-0
DOIs
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Symposium on Automated Technology for Verification and Analysis - Shanghai, China
Dauer: 12 Okt 201515 Okt 2015

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Symposium on Automated Technology for Verification and Analysis
LandChina
OrtShanghai
Zeitraum12/10/1515/10/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren