%0 Conference Paper %1 conf/acm/MalkhiCEST12 %A Malkhi, Dahlia %A Corbató, Fernando J. %A Emerson, E. Allen %A Sifakis, Joseph %A Thompson, Ken %B ACM-TURING %D 2012 %I ACM %K dblp %P 6:1 %T Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice. %U http://dblp.uni-trier.de/db/conf/acm/turing2012.html#MalkhiCEST12 %@ 978-1-4503-3919-3

@inproceedings{conf/acm/MalkhiCEST12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Malkhi, Dahlia and Corbató, Fernando J. and Emerson, E. Allen and Sifakis, Joseph and Thompson, Ken}, biburl = {https://www.bibsonomy.org/bibtex/2a73714169ab40ac0a43d3c1ec21c3ed1/dblp}, booktitle = {ACM-TURING}, crossref = {conf/acm/2012t}, ee = {https://doi.org/10.1145/2322176.2322182}, interhash = {306da0a5fd4fa8ff144330651028475b}, intrahash = {a73714169ab40ac0a43d3c1ec21c3ed1}, isbn = {978-1-4503-3919-3}, keywords = {dblp}, pages = {6:1}, publisher = {ACM}, timestamp = {2018-11-07T12:48:36.000+0100}, title = {Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.}, url = {http://dblp.uni-trier.de/db/conf/acm/turing2012.html#MalkhiCEST12}, year = 2012 }