{"_id":"B3HhQPgrRxeTeAZ3u","bibbaseid":"anonymous-formalmethodsincomputeraideddesignfmcad2014lausanneswitzerlandoctober21242014-2014","downloads":0,"creationDate":"2017-01-12T14:03:06.930Z","title":"Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014","author_short":null,"year":2014,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/s/Sinisi:Stefano","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014","publisher":"IEEE","year":"2014","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680","isbn":"978-0-9835678-4-4","timestamp":"Thu, 08 Jan 2015 11:21:45 +0100","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/fmcad/2014","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:conf/fmcad/2014,\n title = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,\n October 21-24, 2014},\n publisher = {{IEEE}},\n year = {2014},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680},\n isbn = {978-0-9835678-4-4},\n timestamp = {Thu, 08 Jan 2015 11:21:45 +0100},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/fmcad/2014},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","key":"DBLP:conf/fmcad/2014","id":"DBLP:conf/fmcad/2014","bibbaseid":"anonymous-formalmethodsincomputeraideddesignfmcad2014lausanneswitzerlandoctober21242014-2014","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6975680"},"downloads":0,"html":""},"search_terms":["formal","methods","computer","aided","design","fmcad","2014","lausanne","switzerland","october","2014"],"keywords":[],"authorIDs":[],"dataSources":["YWvLxFoMBR3LYHgFs"]}