Generation of symbolic network functions using computer software techniques | IEEE Journals & Magazine | IEEE Xplore