Jump to : Download | Contact | BibTex reference | EndNote reference |

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: Arxiv

Download Hal paper: Hal : Hyper Archive en ligne

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)