Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 37-47, Springer, 1991.
@inproceedings{NicolaFGR91,
title = {An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems},
author = {Rocco De Nicola and Alessandro Fantechi and Stefania Gnesi and Gioia Ristori},
year = {1991},
tags = {rule-based},
researchr = {https://researchr.org/publication/NicolaFGR91},
cites = {0},
citedby = {0},
pages = {37-47},
booktitle = {Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings},
editor = {Kim Guldstrand Larsen and Arne Skou},
volume = {575},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55179-4},
}