@inproceedings{HLR3,
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, Netherlands},
pages = {83-96},
publisher = {{Springer London}},
series = {Workshops in Computing},
team = {SYNC, PACSS},
pdf = {https://hal.science/hal-04683965/file/amast93-pp.pdf},
hal_id = {hal-04683965},
hal_version = {v1},
}