Showing 1 - 4 results of 4 for search 'Steffen, Martin', query time: 0.02s Refine Results
  1. 1
    Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
    Published 2005
    Other Authors: “…Steffen, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    by Dams, Dennis
    Published 2010
    Other Authors: “…Steffen, Martin…”
    Get full text
    Electronic Kit Book
  3. 3
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Published 2010
    Other Authors: “…Steffen, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings /
    Published 2011
    Other Authors: “…Steffen, Martin…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search