Login / Signup
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.
ESOCC
</>
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)