Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani. Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. In Camillo Fiorentini, Alberto Momigliano, editors, Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. Volume 1645 of CEUR Workshop Proceedings, pages 102-117, CEUR-WS.org, 2016. [doi]

This author has not been identified. Look up 'Francesco Alberti' in GoogleThis author has not been identified. Look up 'Silvio Ghilardi' in GoogleThis author has not been identified. Look up 'Andrea Orsini' in GoogleThis author has not been identified. Look up 'Elena Pagani' in Google

runs on WebDSL