Computer Aided Verification: 13th International Conference, ...
Preview
Series Editors Gerhard Goos, Karlsruhe University, Germany Juris Hartmanis, Cornell University, NY, USA Jan van Leeuwen, Utrecht University, The Netherlands Volume Editors Gérard Berry Esterel Technologies 885 av. Julien Lefebvre ...