![](https://www.pdfsearch.io/img/96d1a59d2d3de2f17f27412802118918.jpg) 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 CAdd to Reading ListSource URL: verify.disi.unige.itDownload Document from Source Website File Size: 493,73 KBShare Document on Facebook
|