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, in: Zohar Manna und D.A. Peled (Hrsg.), Time for verification : essays in memory of Amir Pnueli, Berlin u.a., S. 370–399.
Faculty
Author:
 ;  ; 
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
URI:
Activation date:
April 30, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/3847