Vincent Thomas Christine Bourjot Vincent Chevrier Un formalisme pour la construction automatique d'interactions dans les SMA réactifs (article court). 83-88 2004 JFSMA conf/jfsma/2004 db/conf/jfsma/jfsma2004.html#ThomasBC04