Provably Correct Systems
Jifeng He‚ C. A. R. Hoare‚ Martin Fränzle‚ Markus Müller−Olm‚ Ernst−Rüdiger Olderog‚ Michael Schenke‚ Michael R. Hansen‚ Anders P. Ravn and Hans Rischel
Book Title
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‚ Proceedings
Editor
Hans Langmaack and Willem P. de Roever and Jan Vytopil
Pages
288−335
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
863
Year
1994