B | |
---|---|
[BRS17] | Romain Brenguier, Jean-François Raskin, and Ocan Sankur. Assume-admissible synthesis. Acta Informatica 54(1):41-83. Springer-Verlag, February 2017. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
B | |
---|---|
[BRS17] | Romain Brenguier, Jean-François Raskin, and Ocan Sankur. Assume-admissible synthesis. Acta Informatica 54(1):41-83. Springer-Verlag, February 2017. |