@inproceedings{Hal98a,
title = { Synchronous programming of reactive systems, a tutorial and commented bibliography },
author = {Halbwachs, Nicolas},
month = {jun},
year = {1998},
booktitle = {Tenth International Conference on Computer-Aided Verification, CAV'98},
address = {Vancouver (B.C.)},
publisher = {LNCS 1427, Springer Verlag},
team = {SYNC},
}