@inproceedings{BLP2003,
 address = {Boulder (Colorado, USA)},
 author = {Gerd Behrmann and Kim G. Larsen and Radek Pelánek},
 booktitle = {Computer Aided Verification (CAV 2003)},
 isbn = {3-540-40524-0},
 keywords = {explicit model checking; syntax analysis},
 language = {eng},
 location = {Boulder (Colorado, USA)},
 pages = {433-445},
 publisher = {Springer-Verlag},
 title = {To Store or Not To Store},
 year = {2003}
}