What is in a Step: New Perspectives on a Classical Question
Faculty/Professorship: | Software Technologies ; Foundations of Computer Science |
Author(s): | Roever, Willem-Paul de; Lüttgen, Gerald ![]() |
Title of the compilation: | Time for verification : essays in memory of Amir Pnueli |
Editors: | Manna, Zohar; Peled, D.A. |
Publisher Information: | Berlin u.a. |
Year of publication: | 2010 |
Pages: | 370 - 399 |
ISBN: | 9783642137532 |
Language(s): | English |
Type: | Contribution to an Articlecollection |
URI: | https://fis.uni-bamberg.de/handle/uniba/3847 |
Year of publication: | 30. April 2014 |

originated at the
University of Bamberg
University of Bamberg