Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek. To Store or Not to Store. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 433-445, Springer, 2003. [doi]
@inproceedings{BehrmannLP03,
title = {To Store or Not to Store},
author = {Gerd Behrmann and Kim Guldstrand Larsen and Radek Pelánek},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=433},
researchr = {https://researchr.org/publication/BehrmannLP03},
cites = {0},
citedby = {0},
pages = {433-445},
booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
editor = {Warren A. Hunt Jr. and Fabio Somenzi},
volume = {2725},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40524-0},
}