DMCA

Model checking publish-subscribe systems (2003)

by David Garlan , Serge Khersonsky , Jung Soo Kim
Citations:56 - 1 self