![]() |
@proceedings{DBLP:conf/hase/1999,
title = {4th IEEE International Symposium on High-Assurance Systems
Engineering (HASE '99), 17-19 November 1999, Washington,
D.C, USA, Proceedings},
booktitle = {HASE},
publisher = {IEEE Computer Society},
year = {1999},
isbn = {0-7695-0418-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-12-17 by Michael Ley (ley@uni-trier.de)