Showing 1 - 3 results of 3 for search 'Hanna Klaudel', query time: 0.02s Refine Results
  1. 1
    A Decidable Characterization of a Graphical Pi-calculus with Iterators
    Get full text
    Article
  2. 2
    Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
    Get full text
    Article
  3. 3
    Indefinite waitings in MIRELA systems
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search