@inproceedings{HNR+98,
title = {Test automatique de syst\`emes r\'eactifs },
author = {Halbwachs, Nicolas and Nicollin, Xavier and Raymond, Pascal and Weber, Daniel},
month = {jul},
year = {1998},
booktitle = {Ecole d'\'et\'e ``MOd\'elisation et V\'Erification des Processus parall\`eles},
address = {Nantes},
team = {SYNC},
}