@inproceedings{HLR93,
title = { Synchronous observers and the verification of reactive systems },
author = {Halbwachs, Nicolas and Lagnier, Fabienne and Raymond, Pascal},
month = {jun},
year = {1993},
booktitle = {Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93},
address = {Twente},
publisher = {Workshops in Computing, Springer Verlag},
team = {SYNC},
}