@inproceedings{MH96a,
title = { Compiling {ARGOS} into Boolean equations },
author = {Maraninchi, Florence and Halbwachs, Nicolas},
month = {sep},
year = {1996},
booktitle = {Formal Techniques for Real-Time and Fault Tolerance (FTRTFT)},
address = {Uppsala (Sweden)},
publisher = {Springer verlag, {LNCS} 1135},
team = {SYNC},
}
