Media type: E-Article Title: Formal verification of a deadlock detection algorithm Contributor: Verbeek, Freek; Schmaltz, Julien Published: Open Publishing Association, 2011 Published in: Electronic Proceedings in Theoretical Computer Science, 70 (2011), Seite 103-112 Language: English DOI: 10.4204/eptcs.70.8 ISSN: 2075-2180 Keywords: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Origination: Footnote: Access State: Open Access