Model Checking Distributed Objects (2000)

by Wolfgang Emmerich , Nima Kaveh
Venue:Proc. of the 4 th International Software Architecture Workshop
Citations:2 - 1 self