Using Model Checking to Detect Deadlocks in Distributed Object Systems.

Nima Kaveh Using Model Checking to Detect Deadlocks in Distributed Object Systems. 116-128 http://link.springer.de/link/service/series/0558/bibs/1999/19990116.htm 2000 conf/edo/2000 EDO db/conf/edo/edo2000.html#Kaveh00