On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion

Author(s):  
Mandy Weißbach ◽  
Wolf Zimmermann
Sign in / Sign up

Export Citation Format

Share Document