DMCA

Towards Fine-grained Automated Verification of PublishSubscribe Architectures (2006)

Cached

Download Links

by Luciano Baresi , Carlo Ghezzi , Luca Mottola
Venue:In: Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE06). vol. 4229 of Lectures Notes in Computer Science
Citations:7 - 4 self