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 KonferenzbandBegutachtung

Suchergebnisse