What Is in a Step: New Perspectives on a Classical Question - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler. What Is in a Step: New Perspectives on a Classical Question. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 370-399, Springer, 2010. [doi]

This author has not been identified. Look up 'Willem-Paul de Roever' in GoogleThis author has not been identified. Look up 'Gerald Lüttgen' in GoogleThis author has not been identified. Look up 'Michael Mendler' in Google

runs on WebDSL