Amir Pnueli and the Dawn of Hybrid Systems Oded Maler CNRS-VERIMAG, University of Grenoble Centre Equation, 2 av de VignateGières, France

First Page		Document Content
Date: 2010-01-29 12:48:19		Amir Pnueli and the Dawn of Hybrid Systems Oded Maler CNRS-VERIMAG, University of Grenoble Centre Equation, 2 av de VignateGières, France Add to Reading List Source URL: www-verimag.imag.fr Download Document from Source Website File Size: 84,83 KB Share Document on Facebook