Computer Aided Verification 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings Alur Rajeev Heftet / 1996 / Engelsk
Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings Henzinger Thomas A. Heftet / 1998 / Engelsk
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings Chatterjee Krishnendu Heftet / 2010 / Engelsk
Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings Gupta Ashutosh Heftet / 2013 / Engelsk
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings Duparc, Jacques Heftet / 2007 / Engelsk
Embedded Software First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings Henzinger Thomas A. Heftet / 2001 / Engelsk
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers Kucera Antonin Heftet / 2013 / Engelsk
