Showing 1 - 3 results of 3 for search 'Stephan, Werner', query time: 0.02s Refine Results
  1. 1
    Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
    Published 2005
    Other Authors: “…Stephan, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers /
    Published 2004
    Other Authors: “…Stephan, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
    Published 1999
    Other Authors: “…Stephan, Werner…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search