Toward Formal Verification of AMS Circuits Oded Maler, Thao Dang, Antoine Girard, Goran Frehse, Alexandre Donze, Tarik Nahhal, Dejan Nickovic, Colas Le Guernic, Rajarshi Ray, Romain Testylier, Noa Shalev ... CNRS - VERIM - Le Ray - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-12-07 13:39:22		Toward Formal Verification of AMS Circuits Oded Maler, Thao Dang, Antoine Girard, Goran Frehse, Alexandre Donze, Tarik Nahhal, Dejan Nickovic, Colas Le Guernic, Rajarshi Ray, Romain Testylier, Noa Shalev ... CNRS - VERIM Add to Reading List Source URL: www-verimag.imag.fr Download Document from Source Website File Size: 1,29 MB Share Document on Facebook