Static analysis of deterministic negotiations

Titel:: Static analysis of deterministic negotiations
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Esparza, Javier; Muscholl, Anca; Walukiewicz, Igor
Kongress- / Buchtitel:: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Verlag / Institution:: IEEE
Publikationsdatum:: 01.06.2017
Jahr:: 2017
Print-ISBN:: 9781509030187
Volltext / DOI:: doi:10.1109/lics.2017.8005144
BibTeX