%0 Conference Paper %1 journals/corr/abs-1110-4677 %A Verbeek, Freek %A Schmaltz, Julien %B ACL2 %D 2011 %E Hardin, David S. %E Schmaltz, Julien %K dblp %P 103-112 %T Formal verification of a deadlock detection algorithm %U http://dblp.uni-trier.de/db/series/eptcs/eptcs70.html#abs-1110-4677 %V 70

@inproceedings{journals/corr/abs-1110-4677, added-at = {2018-09-12T00:00:00.000+0200}, author = {Verbeek, Freek and Schmaltz, Julien}, biburl = {https://www.bibsonomy.org/bibtex/25c3fd8912cff19274823dd3fb3d9ebb1/dblp}, booktitle = {ACL2}, crossref = {journals/corr/abs-1110-4473}, editor = {Hardin, David S. and Schmaltz, Julien}, ee = {http://arxiv.org/abs/1110.4677}, interhash = {fca147d825ff9146c2d16f262fd82c3c}, intrahash = {5c3fd8912cff19274823dd3fb3d9ebb1}, keywords = {dblp}, pages = {103-112}, series = {EPTCS}, timestamp = {2024-04-09T09:29:27.000+0200}, title = {Formal verification of a deadlock detection algorithm}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs70.html#abs-1110-4677}, volume = 70, year = 2011 }