BibTeX record conf/fmsp/ParkSHCD98

• > Home > conf/fmsp/ParkSHCD98

@inproceedings{DBLP:conf/fmsp/ParkSHCD98,
  author       = {David Y. W. Park and
                  Jens U. Skakkeb{\ae}k and
                  Mats Per Erik Heimdahl and
                  Barbara J. Czerny and
                  David L. Dill},
  editor       = {Mark A. Ardis and
                  Joanne M. Atlee},
  title        = {Checking properties of safety critical specifications using efficient
                  decision procedures},
  booktitle    = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
                  March 4-5, 1998, Clearwater Beach, Florida, {USA}},
  pages        = {34--43},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/298595.298603},
  doi          = {10.1145/298595.298603},
  timestamp    = {Tue, 06 Nov 2018 16:59:20 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsp/ParkSHCD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}