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

Author(s):  
Mandy Weißbach ◽  
Wolf Zimmermann
2005 ◽  
Author(s):  
Brenda Michelson
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document