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
Article révisé par les pairs


Fichier importé via le DOI


Fichier importé via le DOI