Options
What is in a Step: New Perspectives on a Classical Question
Roever, Willem-Paul de; Lüttgen, Gerald; Mendler, Michael (2010): „What is in a Step: New Perspectives on a Classical Question“. Berlin u.a.
Faculty/Professorship:
Title of the compilation:
Time for verification : essays in memory of Amir Pnueli
Editors:
Publisher Information:
Year of publication:
2010
Pages:
ISBN:
9783642137532
Language:
English
Type:
Contribution to an Articlecollection
published:
April 30, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/3847