Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir
Modular Verification of Dynamic Properties for Reactive Systems
IFM, 1999.
@inproceedings{IFM-1999-JulliandMM, author = "Jacques Julliand and Pierre-Alain Masson and Hassan Mountassir", booktitle = "{Proceedings of the First International Conference on Integrated Formal Methods}", isbn = "1-85233-107-0", pages = "89--108", publisher = "{Springer-Verlag}", title = "{Modular Verification of Dynamic Properties for Reactive Systems}", year = 1999, }