Model Checking Publish-Subscribe Systems (2003)

by D Garlan, S Khersonsky, J S Kim
Venue:Proceedings SPIN’03, volume 2648 of LNCS