Contact | About
event-based.org
  • Home
  • Events
  • Link Collection
  • Home
  • Bibliographies and Surveys
  • Community Websites
  • Conferences and Workshops
  • People
  • Presentations and Tutorials
  • Publications
    • All
    • By Author
    • By Topic
    • By Type
    • By Year
  • Research Groups and Projects
  • Software, Products and Companies
  • Standards

Search Links:

Top: Publications: By Author: Khersonsky, S.
D. Garlan, S. Khersonsky, and J. S. Kim
Model Checking Publish-Subscribe Systems. In Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon, USA, 2003.
The event-based.org link collection is maintained by Arnd Schröter