What is in a Step: New Perspectives on a Classical Question

Lüttgen, Gerald; Mendler, Michael

What is in a Step: New Perspectives on a Classical Question

Lüttgen, Gerald; Mendler, Michael
In: Time for verification : essays in memory of Amir Pnueli / Zohar Manna, D.A. Peled (eds.). - Berlin u.a., 2010. - (Lecture notes in computer science ; 6200 : Festschrift). - S. 370 - 399.
2010.

Details

Professorship/Faculty:	Lehrstuhl für Praktische Informatik, insbesondere Softwaretechnik und Programmiersprachen ; Professur für Grundlagen der Informatik
Author(s):	Lüttgen, Gerald ; Mendler, Michael
Responsibility:	Willem-Paul de Roever, Gerald Lüttgen, and Michael Mendler
Title of the compilation:	Time for verification : essays in memory of Amir Pnueli / Zohar Manna, D.A. Peled (eds.). - Berlin u.a., 2010. - (Lecture notes in computer science ; 6200 : Festschrift). - S. 370 - 399
Year of publication:	2010
Language(s):	German
Remark:	Auch als Veröff. im Internet: http://www.springerlink.com/content/g47820467285/#section=725799&page=1&locus=13
URL:	http://www.springerlink.com/content/g4782046728...
Document Type:	Contribution to an Articlecollection
URI:	https://fis.uni-bamberg.de/handle/uniba/3847
Release Date:	30. April 2014