Skip to main content

Assume−Admissible Synthesis

Romain Brenguier‚ Jean−François Raskin and Ocan Sankur

Book Title
26th International Conference on Concurrency Theory‚ CONCUR 2015‚ Madrid‚ Spain‚ September 1.4‚ 2015
Pages
100–113
Year
2015