@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},
	biburl = {http://www.bibsonomy.org/bibtex/2902a3062b46738f550766aea1e4deed6/dblp},
	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 }
}