|
[BML+04]
M. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri and M. Sebastianis.
Model checking publish/subscribe notification for thinkteam.
Technical report 2004-TR-20, CNR/ISTI.
2004.
http://fmt.isti.cnr.it/WEBPAPER/TRTT.ps
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://fmt.isti.cnr.it/WEBPAPER/TRTT.ps
|