Christian Heike

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Transaction Processing Systems

Resource Reservation

Automated Trust Negotiation

Exception Handling

Top Venues

Serv. Oriented Comput. Appl.

Publications

Christian Heike, Wolf Zimmermann, Andreas Both
On expanding protocol conformance checking to exception handling. Serv. Oriented Comput. Appl. 8 (4) (2014)
Christian Heike, Wolf Zimmermann, Andreas Both
Protocol Conformance Checking of Services with Exceptions. ESOCC (2012)