Alban Grastien (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

8		Alban Grastien, Anbulagan: Incremental Diagnosis of DES by Satisfiability. ECAI 2008: 787-788
7		Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva: Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. AAAI 2007: 305-310

Selection of 2 from 9 records - Alban Grastien has 8 coauthors