@inproceedings{conf/iceccs/RouffVTRH04,
title = {Verification of NASA Emergent Systems.},
author = {Christopher Rouff and Amy Vanderbilt and Walt Truszkowski and James L. Rash and Michael G. Hinchey},
booktitle = {ICECCS},
crossref = {conf/iceccs/2004},
pages = {231-238},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2004.html#RouffVTRH04},
year = {2004},
description = {dblp},
ee = {http://csdl.computer.org/comp/proceedings/iceccs/2004/2109/00/21090231abs.htm}, isbn = {0-7695-2109-6}, date = {2004-04-29},
keywords = {dblp }
}