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





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