Nicolas Halbwachs. Synchronous Programming of Reactive Systems. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 1-16, Springer, 1998.
@inproceedings{Halbwachs98, title = {Synchronous Programming of Reactive Systems}, author = {Nicolas Halbwachs}, year = {1998}, tags = {reactive programming, programming}, researchr = {https://researchr.org/publication/Halbwachs98}, cites = {0}, citedby = {0}, pages = {1-16}, booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings}, editor = {Alan J. Hu and Moshe Y. Vardi}, volume = {1427}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64608-6}, }