Janine Ott

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz
Guaranteeing Weak Termination in Service Discovery. Fundam. Informaticae 108 (1-2) (2011)
Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz
Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD (2009)