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

    Quantitative and qualitative extensions of event structures / by Katoen, Joost-Pieter, 1964-

    Published 1996
    Book
  3. 3

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

    Published 2002
    Conference Proceeding Book
  4. 4

    Tools and algorithms for the construction and analysis of systems /

    Published 1997
    Conference Proceeding Book