|
[HBGS07]
F. He, L. Baresi, C. Ghezzi and P. Spoletini.
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
In Proc. Formal Techniques for Networked and Distributed Systems (FORTE'07), volume 4574 of Lecture Notes in Computer Science, pages 247-262, Springer.
2007.
[bib]
http://www.springerlink.com/content/h0438p764643727u/
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.springerlink.com/content/h0438p764643727u/
|