%0 Conference Paper %1 conf/sara/SturtevantJ07 %A Sturtevant, Nathan R. %A Jansen, M. Renee %B SARA %D 2007 %E Miguel, Ian %E Ruml, Wheeler %I Springer %K dblp %P 344-358 %T An Analysis of Map-Based Abstraction and Refinement. %U http://dblp.uni-trier.de/db/conf/sara/sara2007.html#SturtevantJ07 %V 4612 %@ 978-3-540-73579-3

@inproceedings{conf/sara/SturtevantJ07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Sturtevant, Nathan R. and Jansen, M. Renee}, biburl = {https://www.bibsonomy.org/bibtex/2ae4d200c73d1bef2b773c62ea09b6eee/dblp}, booktitle = {SARA}, crossref = {conf/sara/2007}, editor = {Miguel, Ian and Ruml, Wheeler}, ee = {https://doi.org/10.1007/978-3-540-73580-9_27}, interhash = {af6e68b4eb8ad31696fc7b9182cc7b1c}, intrahash = {ae4d200c73d1bef2b773c62ea09b6eee}, isbn = {978-3-540-73579-3}, keywords = {dblp}, pages = {344-358}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:32:41.000+0200}, title = {An Analysis of Map-Based Abstraction and Refinement.}, url = {http://dblp.uni-trier.de/db/conf/sara/sara2007.html#SturtevantJ07}, volume = 4612, year = 2007 }