<div class="description">
<dl><dd>Thesis advisor, Daniel L. Davis</dd>
<dd>Available from National Technical Information Service, Springfield, Va</dd>
<dd>ADA200283</dd>
<dd>Thesis (M.S. in Engineering Science) Naval Postgraduate School, June 1988</dd>
<dd>Bibliography: p. 88-89</dd>
<dd>Cover title: Petri net modeling and automated software safety analysis: methodology for an embedded military application</dd>
<dd>c.1, c.2</dd></dl><br>Subjects:</div>
<div class="fn value">
Lewis, Alan D.;Davis, Daniel Lee,</div>
Internet Archive identifier