%0 Conference Paper %1 conf/hldvt/VerbeekS12 %A Verbeek, Freek %A Schmaltz, Julien %B HLDVT %D 2012 %I IEEE Computer Society %K dblp %P 25-32 %T Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2012.html#VerbeekS12 %@ 978-1-4673-2897-5

@inproceedings{conf/hldvt/VerbeekS12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Verbeek, Freek and Schmaltz, Julien}, biburl = {https://www.bibsonomy.org/bibtex/29e6189dcc085b3787e662d440a4da1ea/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2012.6418239}, interhash = {80db25ae90a1763e33de5a509aa0009d}, intrahash = {9e6189dcc085b3787e662d440a4da1ea}, isbn = {978-1-4673-2897-5}, keywords = {dblp}, pages = {25-32}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:14.000+0200}, title = {Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2012.html#VerbeekS12}, year = 2012 }