par Bollig, Benedikt;Habermehl, Peter;Leucker, Martin;Monmege, Benjamin 
Référence Logical methods in computer science, 10, 4, page (1-23)
Publication Publié, 2014-12

Référence Logical methods in computer science, 10, 4, page (1-23)
Publication Publié, 2014-12
Article révisé par les pairs
Fichier importé via le DOI |
Fichier importé via le DOI |