B | |
---|---|
[BRS17] | Romain Brenguier, Jean-François Raskin et Ocan Sankur. Assume-admissible synthesis. Acta Informatica 54(1):41-83. Springer-Verlag, février 2017. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
B | |
---|---|
[BRS17] | Romain Brenguier, Jean-François Raskin et Ocan Sankur. Assume-admissible synthesis. Acta Informatica 54(1):41-83. Springer-Verlag, février 2017. |