Showing 1 - 1 results of 1 for search 'Santen, Thomas', query time: 0.02s Refine Results
  1. 1
    Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
    Published 2000
    Other Authors: “…Santen, Thomas…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search