DMCA

Model Checking Publish/Subscribe Notification for thinkteam (2004)

by Maurice H. ter Beek , Mieke Massink , Diego Latella , Stefania Gnesi, et al.
Venue:FMICS 2004 PRELIMINARY VERSION
Citations:7 - 4 self