Authors: Bhargavan, K Chandra, S McCann, PJ Gunter, CA

Citation: K. Bhargavan et al., What packets may come: Automata for network monitoring, ACM SIGPL N, 36(3), 2001, pp. 206-219