Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : first international workshop TACAS '95 : Aarhus, Denmark, May 19-20, 1995 : selected papers /

Vydáno 1995

Další autoři: '; “...Brinksma, H., 1957-...”

Kniha

2

Obálka

Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS '97 : Enschede, The Netherlands, April 2-4, 1997 : proceedings /

Vydáno 1997

Další autoři: '; “...Brinksma, H., 1957-...”

Kniha

3

Obálka

Computer aided verification : 14th International Conference, CAV 2002 : Copenhagen, Denmark, July 27-31, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...Brinksma, H., 1957-...”

Kniha

4

Obálka

Lectures on Formal Methods and Performance Analysis : first EEF/Euro Summer School on Trends in Computer in Computer Science : Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

Vydáno 2001

Další autoři: '; “...Brinksma, H., 1957-...”

Kniha