Send email Copy Email Address

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Conference / Medium

Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softwa

Date published


Date last modified

2021-06-04 08:38:49