Error-preserving local transformations on communication protocols

Monika Kapus-Kolar. Error-preserving local transformations on communication protocols. Softw. Test., Verif. Reliab., 23(1):3-25, 2013. [doi]

Abstract

Abstract is missing.