Wagner U. 2003. On k-Sets and Their Applications. ETH Zurich.
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 10.3929/ethz-a-004708408

Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Universität Bonn, Fachbibliothek Mathematik.
LibreCat: https://research-explorer.ista.ac.at/record/3678

Majumdar R. 2003. Symbolic algorithms for verification and control. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Mang F. 2002. Games in open systems verification and synthesis. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4414

Qadeer S. 1999. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4411

Kopke P. 1996. The Theory of Rectangular Hybrid Automata. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4419

Ho P. 1995. Automatic analysis of hybrid systems. Cornell University.
LibreCat: https://research-explorer.ista.ac.at/record/4428

Henzinger TA. 1991. The temporal specification and verification of real-time systems . Stanford University.
LibreCat: https://research-explorer.ista.ac.at/record/4516

Barton NH. 1979. A hybrid zone in the alpine grasshopper Podisma pedestris. University of East Anglia.
LibreCat: https://research-explorer.ista.ac.at/record/4337