From Interaction Overview Diagrams to Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi. From Interaction Overview Diagrams to Temporal Logic. In Jürgen Dingel, Arnor Solberg, editors, Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers. Volume 6627 of Lecture Notes in Computer Science, pages 90-104, Springer, 2010. [doi]

This author has not been identified. It may be one of the following persons:

Luciano Baresi

Look up 'Luciano Baresi' in GoogleThis author has not been identified. Look up 'Angelo Morzenti' in GoogleThis author has not been identified. Look up 'Alfredo Motta' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in Google

runs on WebDSL