Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings Langmaack Hans Heftet / 1994 / Engelsk
Compositionality: The Significant Difference International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures Roever, Willem-Paul de Heftet / 1998 / Engelsk
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 Bakker Jacobus W. de Heftet / 1989 / Engelsk
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings Bakker, Jaco W. de Heftet / 1990 / Engelsk
Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Innbundet / 2001 / Engelsk
Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Heftet / 2012 / Engelsk
