par Abdulla, Parosh Aziz;Sandberg, Sven;Clemente, Lorenzo
;Mayr, Richard
Référence Logical methods in computer science, 10, 4, 21
Publication Publié, 2014-12

Référence Logical methods in computer science, 10, 4, 21
Publication Publié, 2014-12
Article révisé par les pairs