%0 Conference Paper %1 conf/cav/BozzanoCPJKPRT15 %A Bozzano, Marco %A Cimatti, Alessandro %A Pires, Anthony Fernandes %A Jones, David %A Kimberly, Greg %A Petri, T. %A Robinson, R. %A Tonetta, Stefano %B CAV (1) %D 2015 %E Kroening, Daniel %E Pasareanu, Corina S. %I Springer %K dblp %P 518-535 %T Formal Design and Safety Analysis of AIR6110 Wheel Brake System. %U http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BozzanoCPJKPRT15 %V 9206 %@ 978-3-319-21689-8

@inproceedings{conf/cav/BozzanoCPJKPRT15, added-at = {2021-04-20T00:00:00.000+0200}, author = {Bozzano, Marco and Cimatti, Alessandro and Pires, Anthony Fernandes and Jones, David and Kimberly, Greg and Petri, T. and Robinson, R. and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/28daa1313cbb4b286ef01eb37f727e547/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2015-1}, editor = {Kroening, Daniel and Pasareanu, Corina S.}, ee = {https://www.wikidata.org/entity/Q62041117}, interhash = {3980e77681ef316495a49492e66be4a0}, intrahash = {8daa1313cbb4b286ef01eb37f727e547}, isbn = {978-3-319-21689-8}, keywords = {dblp}, pages = {518-535}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:11:16.000+0200}, title = {Formal Design and Safety Analysis of AIR6110 Wheel Brake System.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2015-1.html#BozzanoCPJKPRT15}, volume = 9206, year = 2015 }