@inproceedings{Tverdyshev:TIME08-??,
AUTHOR = {Tverdyshev, S. and Alkassar, E.},
TITLE = {Efficient Bit-Level Model Reductions for Automated Hardware Verification},
YEAR = {2008},
PAGES = {pp. 164-172},
BOOKTITLE = {15th International Symposium on Temporal Representation and Reasoning: TIME2008},
PUBLISHER = {IEEE Computer Society Press},
EDITOR = {St├ęphane Demri and Christian S. Jensen},
EE = {http://doi.ieeecomputersociety.org/10.1109/TIME.2008.11 },
}