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 - Genova - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2013-07-18 06:02:53 Open Document File Size: 493,73 KB Share Result on Facebook

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 CAdd to Reading List