%0 Conference Paper %1 conf/date/VerbeekYEB16 %A Verbeek, Freek %A Yaghini, Pooria M. %A Eghbal, Ashkan %A Bagherzadeh, Nader %B DATE %D 2016 %E Fanucci, Luca %E Teich, Jürgen %I IEEE %K dblp %P 1640-1645 %T ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. %U http://dblp.uni-trier.de/db/conf/date/date2016.html#VerbeekYEB16 %@ 978-3-9815-3707-9

@inproceedings{conf/date/VerbeekYEB16, added-at = {2021-08-09T00:00:00.000+0200}, author = {Verbeek, Freek and Yaghini, Pooria M. and Eghbal, Ashkan and Bagherzadeh, Nader}, biburl = {https://www.bibsonomy.org/bibtex/2c25f1da43e04765550427cd455f63fcb/dblp}, booktitle = {DATE}, crossref = {conf/date/2016}, editor = {Fanucci, Luca and Teich, Jürgen}, ee = {https://ieeexplore.ieee.org/document/7459575/}, interhash = {2962385e8c46e75cae7ddd03035a267c}, intrahash = {c25f1da43e04765550427cd455f63fcb}, isbn = {978-3-9815-3707-9}, keywords = {dblp}, pages = {1640-1645}, publisher = {IEEE}, timestamp = {2024-04-10T06:47:58.000+0200}, title = {ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects.}, url = {http://dblp.uni-trier.de/db/conf/date/date2016.html#VerbeekYEB16}, year = 2016 }