Model Checking of Non-Finite State Processes by Finite Approximations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Nicoletta De Francesco' in GoogleThis author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Paola Inverardi' in Google

runs on WebDSL