@inproceedings{BFG99,
title = {State Space Reduction Based on Live Variables Analysis },
author = {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian},
year = {1999},
booktitle = {SAS},
pages = {164-178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1694},
team = {DCS},
}
