Marco Danelutto, Andrea Masini
A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems
CSL, 1988.
@inproceedings{CSL-1988-DaneluttoM,
author = "Marco Danelutto and Andrea Masini",
booktitle = "{Proceedings of the Second Workshop on Computer Science Logic}",
doi = "10.1007/BFb0026295",
isbn = "3-540-51659-X",
pages = "63--79",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems}",
volume = 385,
year = 1988,
}