@inproceedings{conf/wift/FeatherDR98,
title = {"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.},
author = {Martin S. Feather and Julia R. Dunphy and Nicolas Rouquette},
booktitle = {WIFT},
crossref = {conf/wift/1998},
pages = {140-},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/wift/wift1998.html#FeatherDR98},
year = {1998},
description = {dblp},
ee = {http://csdl.computer.org/dl/proceedings/wift/1998/0081/00/00810140.pdf}, isbn = {0-7695-0081-1}, date = {2003-10-17},
keywords = {dblp }
}
::