par Brihaye, Thomas;Bruyère, Véronique;Raskin, Jean-François
Référence Lecture notes in computer science, 3253, page (277-292)
Publication Publié, 2004
Article révisé par les pairs