A matroid-theoretic solution to an assignment problem in the conformance testing of communication protocols | IEEE Journals & Magazine | IEEE Xplore