Formal specification of conformance testing documents for communication protocols.

Ana Maria Ponce, Gyula Csopaki, Katalin Tarnay

Browse the full PIMRC paper archive.