Fingerprint
Untersuchen Sie die Forschungsthemen von „Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung