STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings Finkel Alain Heftet / 1992 / Engelsk
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings Finkel Alain Heftet / 2012 / Engelsk
Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings Berry Gerard Heftet / 2001 / Engelsk
STACS 93 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings Enjalbert Patrice Heftet / 1993 / Engelsk
