Showing 1 - 4 results of 4 for search 'Dams, Dennis', query time: 0.02s Refine Results
  1. 1
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
    by Dams, Dennis
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Other Authors: “…Dams, Dennis R.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever /
    Published 2010
    Other Authors: “…Dams, Dennis…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
    Published 1999
    Other Authors: “…Dams, Dennis…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search