%0 Conference Paper %1 conf/async/VerbeekJS13 %A Verbeek, Freek %A Joosten, Sebastiaan J. C. %A Schmaltz, Julien %B ASYNC %D 2013 %I IEEE Computer Society %K dblp %P 183-190 %T Formal Deadlock Verification for Click Circuits. %U http://dblp.uni-trier.de/db/conf/async/async2013.html#VerbeekJS13 %@ 978-1-4673-5956-6

@inproceedings{conf/async/VerbeekJS13, added-at = {2023-03-23T00:00:00.000+0100}, author = {Verbeek, Freek and Joosten, Sebastiaan J. C. and Schmaltz, Julien}, biburl = {https://www.bibsonomy.org/bibtex/2e28fc9153655b9b6ee884dda3080bfdc/dblp}, booktitle = {ASYNC}, crossref = {conf/async/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASYNC.2013.21}, interhash = {a3770210c051fea8c4837e94f6d6cf72}, intrahash = {e28fc9153655b9b6ee884dda3080bfdc}, isbn = {978-1-4673-5956-6}, keywords = {dblp}, pages = {183-190}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:57:12.000+0200}, title = {Formal Deadlock Verification for Click Circuits.}, url = {http://dblp.uni-trier.de/db/conf/async/async2013.html#VerbeekJS13}, year = 2013 }