Výsledky hledání pro autora

1

Obálka

Computer Aided Verification : 8th International Conference, CAV '96 : New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings /

Vydáno 1996

Další autoři: '; “...Henzinger, T. A., 1962-...”

Kniha

2

Obálka

Embedded software : first International Worskhop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings /

Vydáno 2001

Další autoři: '; “...Henzinger, T. A., 1962-...”

Kniha

3

Obálka

Computer Science Logic : 21st International Workshop, CSL 2007 : 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Henzinger, T. A., 1962-...”

Kniha

4

Obálka

Handbook of model checking /

Vydáno 2018

Další autoři: '; “...Henzinger, T. A., 1962-...”

Kniha

5

Obálka

Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 /

Vydáno 2013

Další autoři: '; “...Henzinger, T. A., 1962-...”

Kniha