Salvatore Campana, Luca Spalazzi, Francesco Spegni. Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study. In Waleed W. Smari, William K. McQuay, editors, 2010 International Symposium on Collaborative Technologies and Systems, CTS 2010, Chicago, Illinois, USA, May 17-21, 2010. pages 113-122, IEEE, 2010. [doi]
Abstract is missing.