DMCA

Model checking groupware protocols (2004)

by Maurice H. Beek , Mieke Massink , Diego Latella , Stefania Gnesi
Venue:In COOP
Citations:8 - 3 self