<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/drums/BellH98" mdate="2002-01-03">
<author>John Bell</author>
<author>Zhisheng Huang</author>
<title>Safety logics.</title>
<pages>427-445</pages>
<ee>http://link.springer.de/link/service/series/0558/bibs/1455/14550427.htm</ee>
<year>1998</year>
<crossref>conf/drums/1998</crossref>
<booktitle>Applications of Uncertainty Formalisms</booktitle>
<url>db/conf/drums/drums1998.html#BellH98</url>
</inproceedings>
</dblp>
