Parameterized Veri ation of Broad ast Networks of Register Automata (Te hni al Report) Giorgio Delzanno1 , Arnaud Sangnier2 , and Ri ardo Traverso1 DIBRIS, University of Genova, Italy LIAFA, Univ Paris Diderot, Paris C

First Page		Document Content
Date: 2013-07-18 06:02:53		Parameterized Veri ation of Broad ast Networks of Register Automata (Te hni al Report) Giorgio Delzanno1 , Arnaud Sangnier2 , and Ri ardo Traverso1 DIBRIS, University of Genova, Italy LIAFA, Univ Paris Diderot, Paris C Add to Reading List Source URL: verify.disi.unige.it Download Document from Source Website File Size: 493,73 KB Share Document on Facebook