Showing 1 - 2 results of 2 for search 'Mila Majster-Cederbaum', query time: 0.12s Refine Results
  1. 1
    Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete
    by Mila Majster-Cederbaum, Nils Semmelrock
    Published 2013-12-01
    Get full text
    Article
  2. 2
    Port Protocols for Deadlock-Freedom of Component Systems
    by Christian Lambertz, Mila Majster-Cederbaum
    Published 2010-10-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search