A Framework for Model Checking Institutions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Viganò. A Framework for Model Checking Institutions. In Stefan Edelkamp, Alessio Lomuscio, editors, Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Volume 4428 of Lecture Notes in Computer Science, pages 129-145, Springer, 2006. [doi]

This author has not been identified. Look up 'Francesco Viganò' in Google

runs on WebDSL