Showing 1 - 4 results of 4 for search 'Brinksma, Ed', query time: 0.06s Narrow Search
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    Published 1997
    Other Authors: “…Brinksma, Ed…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    Published 2002
    Other Authors: “…Brinksma, Ed…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
    Published 2001
    Other Authors: “…Brinksma, Ed…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Tools and Algorithms for the Construction and Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
    Published 1995
    Other Authors: “…Brinksma, Ed…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: