@inproceedings{conf/arts/CamposC97,
title = {The Verus Language: Representing Time Efficiently with BDDs.},
author = {Sérgio Vale Aguiar Campos and Edmund M. Clarke},
booktitle = {ARTS},
crossref = {conf/arts/1997},
editor = {Miquel Bertran and Teodor Rus},
pages = {64-78},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/arts/arts1997.html#CamposC97},
volume = {1231},
year = {1997},
description = {dblp},
date = {2008-07-16}, isbn = {3-540-63010-4},
keywords = {dblp }
}
::