Resultats de la cerca - Ed Brinksma
- Mostrar 1 - 3 resultats de 3
-
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, c1997Signatura: Carregant…Ver documento en línea
Localitzat: Carregant…
LlibreEnllaç a registre independent -
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings / per Ed Brinksma, Kim Guldstrand Larsen
Publicat 2002, c2002Signatura: Carregant…Ver documento en línea
Localitzat: Carregant…
LlibreEnllaç a registre independent -
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, c2001Signatura: Carregant…Ver documento en línea
Localitzat: Carregant…
LlibreEnllaç a registre independent