Nicoletta De Francesco, Alessandro Fantechi, Stefania Gnesi, Paola Inverardi. Model Checking of Non-Finite State Processes by Finite Approximations. In Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen, editors, Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Volume 1019 of Lecture Notes in Computer Science, pages 195-215, Springer, 1995.
@inproceedings{FrancescoFGI95,
title = {Model Checking of Non-Finite State Processes by Finite Approximations},
author = {Nicoletta De Francesco and Alessandro Fantechi and Stefania Gnesi and Paola Inverardi},
year = {1995},
tags = {model checking, meta-model, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/FrancescoFGI95},
cites = {0},
citedby = {0},
pages = {195-215},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings},
editor = {Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen},
volume = {1019},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60630-0},
}