Static analysis of deterministic negotiations

Title:: Static analysis of deterministic negotiations
Document type:: Konferenzbeitrag
Author(s):: Esparza, Javier; Muscholl, Anca; Walukiewicz, Igor
Book / Congress title:: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Publisher:: IEEE
Date of publication:: 01.06.2017
Year:: 2017
Print-ISBN:: 9781509030187
Fulltext / DOI:: doi:10.1109/lics.2017.8005144
BibTeX