dc.contributor.author | Mukherjee, R | en_US |
dc.contributor.author | Tautschnig, M | en_US |
dc.contributor.author | Kroening, D | en_US |
dc.contributor.author | Tools and Algorithms for the Construction and Analysis of Systems | en_US |
dc.date.accessioned | 2016-07-26T12:35:48Z | |
dc.date.available | 2015-12-18 | en_US |
dc.date.issued | 2016 | en_US |
dc.date.submitted | 2016-06-07T15:33:54.245Z | |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/13690 | |
dc.description | timestamp: Mon, 11 Apr 2016 15:34:17 +0200 biburl: http://dblp.uni-trier.de/rec/bib/conf/tacas/MukherjeeTK16 bibsource: dblp computer science bibliography, http://dblp.org | |
dc.description | timestamp: Mon, 11 Apr 2016 15:34:17 +0200 biburl: http://dblp.uni-trier.de/rec/bib/conf/tacas/MukherjeeTK16 bibsource: dblp computer science bibliography, http://dblp.org | en_US |
dc.description | timestamp: Mon, 11 Apr 2016 15:34:17 +0200 biburl: http://dblp.uni-trier.de/rec/bib/conf/tacas/MukherjeeTK16 bibsource: dblp computer science bibliography, http://dblp.org | en_US |
dc.description | timestamp: Mon, 11 Apr 2016 15:34:17 +0200 biburl: http://dblp.uni-trier.de/rec/bib/conf/tacas/MukherjeeTK16 bibsource: dblp computer science bibliography, http://dblp.org | en_US |
dc.format.extent | 580 - 586 | en_US |
dc.rights | “The final publication is available at http://link.springer.com/chapter/10.1007/978-3-662-49674-9_38” | |
dc.title | v2c - A Verilog to C Translator | en_US |
dc.type | Conference Proceeding | |
dc.identifier.doi | 10.1007/978-3-662-49674-9_38 | en_US |
pubs.notes | No embargo | en_US |
pubs.publication-status | Published | en_US |
pubs.publisher-url | http://dx.doi.org/10.1007/978-3-662-49674-9_38 | en_US |
dcterms.dateAccepted | 2015-12-18 | en_US |