Resultats de la cerca - Ed Brinksma

  • Mostrar 1 - 3 resultats de 3
Refinar resultats
  1. Imatge de la portada

    Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / per Ed Brinksma

    Publicat 1997, c1997
    Ver documento en línea
    Llibre
  2. Imatge de la portada

    Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / per Ed Brinksma, Kim Guldstrand Larsen

    Publicat 2002, c2002
    Ver documento en línea
    Llibre
  3. Imatge de la portada

    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 / per Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen

    Publicat 2001, c2001
    Ver documento en línea
    Llibre

Eines de cerca: