Home | Search | Help  
Home Page Università di Genova

Technical Report Details


Date 15-4-2013
Number DISI-TR-13-03
Title Parameterized Verification of Broadcat Networks of Register Automata
Authors Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
Bibtex Entry
E-mail giorgio.delzanno@unige.it
Link http://verify.disi.unige.it/wp-content/uploads/2013/07/bnra-techrep.pdf
Abstract
Back to Technical Reports