-
Selection by year
-
Selection by authors
-
Complete lists
brenguier:hal-01245193
R. Brenguier, J-F Raskin, O. Sankur. Assume-Admissible Synthesis. In 26th International Conference on Concurrency Theory (CONCUR 2015), Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, Pages 100-113, Madrid, Spain, September 2015.
Download [help]
Download paper:
Doi page 
Download Arxiv paper: (link)
Contact
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/
BibTex Reference
@InProceedings{brenguier:hal-01245193,
Author = {Brenguier, R. and Raskin, J-F and Sankur, O.},
Title = {Assume-Admissible Synthesis},
BookTitle = {26th International Conference on Concurrency Theory (CONCUR 2015)},
Volume = {42},
Pages = {100--113},
Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
Address = {Madrid, Spain},
Month = {September},
Year = {2015}
}
EndNote Reference [help]
Get EndNote Reference (.ref)