Formal Verification of Safety-critical Systems. Moser, L. E. & Melliar-Smith, P. M. Softw., Pract. Exper. (SPE), 20(8):799-821, 1990.
Formal Verification of Safety-critical Systems [link]Paper  bibtex   
@article{ dblp4186169,
  title = {Formal Verification of Safety-critical Systems},
  author = {Louise E. Moser and P. M. Melliar-Smith},
  author_short = {Moser, L. E. and Melliar-Smith, P. M.},
  bibtype = {article},
  type = {article},
  year = {1990},
  key = {dblp4186169},
  id = {dblp4186169},
  biburl = {http://www.dblp.org/rec/bibtex/journals/spe/MoserM90},
  url = {http://dx.doi.org/10.1002/spe.4380200804},
  journal = {Softw., Pract. Exper. (SPE)},
  pages = {799-821},
  number = {8},
  volume = {20},
  text = {Softw., Pract. Exper. (SPE) 20(8):799-821 (1990)}
}
Downloads: 0