Protocol Conformance Checking of Services with Exceptions. - Christian Heike; Wolf Zimmermann; Andreas Both 001 (ESOCC, 2012)

On expanding protocol conformance checking to exception handling. - Christian Heike; Wolf Zimmermann; Andreas Both 001 (Serv. Oriented Comput. Appl., 2014)