@inproceedings{aee393008ac211dbbb3d000ea68e967b,
title = "Detecting deadlocks in concurrent systems",
author = "Lisbeth Fajstrup and Eric Goubault and Martin Raussen",
note = "ISSN ; 0302-9743; Detecting deadlocks in concurrent systems ; Conference date: 19-05-2010",
year = "1998",
language = "English",
isbn = "3540648968",
pages = "332--347",
editor = "{Sangiorgi, D. : Simone R. de (eds.)}",
booktitle = "CONCUR '98 - Concurrency Theory : 9th International Conference, Nice, France, September 8-11,1998 : Proceedings",
publisher = "IEEE Computer Society Press",
address = "United States",
edition = "1466",
}