@ARTICLE{BasinKlarlund98,
AUTHOR = {Basin, David A. and Klarlund, Nils},
TITLE = {Automata Based Symbolic Reasoning in Hardware Verification},
JOURNAL = {Formal Methods in Systems Design},
YEAR = {1998},
NUMBER = {3},
VOLUME = {13},
PAGES = {255--288},
MONTH = {November},
}
Entry last modified by Christine Kiesel, 03/12/2010