Verification of Sets of Infinite State Processes Using Program Transformation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti. Verification of Sets of Infinite State Processes Using Program Transformation. In Alberto Pettorossi, editor, Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers. Volume 2372 of Lecture Notes in Computer Science, pages 111-128, Springer, 2001. [doi]

This author has not been identified. Look up 'Fabio Fioravanti' in GoogleThis author has not been identified. Look up 'Alberto Pettorossi' in GoogleThis author has not been identified. Look up 'Maurizio Proietti' in Google

runs on WebDSL