Serge Khersonsky

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

David Garlan, Serge Khersonsky, Jung Soo Kim
Model Checking Publish-Subscribe Systems. SPIN (2003)
David Garlan, Serge Khersonsky
Model Checking Implicit-Invocation Systems. IWSSD (2000)