%0 Conference Paper %1 conf/ifm/BruschiPGLP17 %A Bruschi, Danilo %A Pasquale, Andrea Di %A Ghilardi, Silvio %A Lanzi, Andrea %A Pagani, Elena %B IFM %D 2017 %E Polikarpova, Nadia %E Schneider, Steve A. %I Springer %K dblp %P 391-406 %T Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#BruschiPGLP17 %V 10510 %@ 978-3-319-66845-1

@inproceedings{conf/ifm/BruschiPGLP17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Bruschi, Danilo and Pasquale, Andrea Di and Ghilardi, Silvio and Lanzi, Andrea and Pagani, Elena}, biburl = {https://www.bibsonomy.org/bibtex/2759210d42708809f0cfb400d0180d678/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2017}, editor = {Polikarpova, Nadia and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-319-66845-1_26}, interhash = {2ace29b6a7f9cf4f110773eed41aa4ea}, intrahash = {759210d42708809f0cfb400d0180d678}, isbn = {978-3-319-66845-1}, keywords = {dblp}, pages = {391-406}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-08-08T11:44:14.000+0200}, title = {Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#BruschiPGLP17}, volume = 10510, year = 2017 }