What Is in a Step: New Perspectives on a Classical Question.
W. de Roever, G. Lüttgen, and M. Mendler. Essays in Memory of Amir Pnueli, volume 6200 of Lecture Notes in Computer Science, page 370-399. Springer, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/RoeverLM10
%A de Roever, Willem-Paul
%A Lüttgen, Gerald
%A Mendler, Michael
%B Essays in Memory of Amir Pnueli
%D 2010
%E Manna, Zohar
%E Peled, Doron A.
%I Springer
%K dblp
%P 370-399
%T What Is in a Step: New Perspectives on a Classical Question.
%U http://dblp.uni-trier.de/db/conf/birthday/pnueli2010.html#RoeverLM10
%V 6200
%@ 978-3-642-13753-2
@inproceedings{conf/birthday/RoeverLM10,
added-at = {2017-05-23T00:00:00.000+0200},
author = {de Roever, Willem-Paul and Lüttgen, Gerald and Mendler, Michael},
biburl = {https://www.bibsonomy.org/bibtex/2c32e7610cd89c263571badcc357ca61c/dblp},
booktitle = {Essays in Memory of Amir Pnueli},
crossref = {conf/birthday/2010pnueli},
editor = {Manna, Zohar and Peled, Doron A.},
ee = {https://doi.org/10.1007/978-3-642-13754-9_15},
interhash = {64d4ee8a45a970ceb74a1a641acabb0a},
intrahash = {c32e7610cd89c263571badcc357ca61c},
isbn = {978-3-642-13753-2},
keywords = {dblp},
pages = {370-399},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:22:57.000+0200},
title = {What Is in a Step: New Perspectives on a Classical Question.},
url = {http://dblp.uni-trier.de/db/conf/birthday/pnueli2010.html#RoeverLM10},
volume = 6200,
year = 2010
}