A new technique for symbolic active network analysis by computer | IEEE Journals & Magazine | IEEE Xplore