Network Event Recognition

Network Event Recognition
Karthikeyan Bhargavan and Carl A. Gunter
Formal Methods in System Design, volume 27, number 3, pages 213-251, 2005.

Last updated on Thursday, June 26, 2014, 12:49 pm