Showing 1 - 2 results of 2 for search '"Enschede"', query time: 0.02s Refine Results
  1. 1

    Formal methods for open object-based distributed systems V : IFIP TC6/WG6.1 /

    Published 2002
    Conference Proceeding Book
  2. 2

    Tools and algorithms for the construction and analysis of systems /

    Published 1997
    Conference Proceeding Book