BibTeX records: Yu-King R. Mok

download as .bib file

@article{DBLP:journals/tse/RamamoorthyMBCS81,
  author       = {C. V. Ramamoorthy and
                  Yu{-}King R. Mok and
                  Farokh B. Bastani and
                  Gene H. Chin and
                  Keiichi Suzuki},
  title        = {Application of a Methodology for the Development and Validation of
                  Reliable Process Control Software},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {7},
  number       = {6},
  pages        = {537--555},
  year         = {1981},
  url          = {https://doi.org/10.1109/TSE.1981.226474},
  doi          = {10.1109/TSE.1981.226474},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/RamamoorthyMBCS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RamamoorthyBFMNS79,
  author       = {C. V. Ramamoorthy and
                  Farokh B. Bastani and
                  John M. Favaro and
                  Yu{-}King R. Mok and
                  C. W. Nam and
                  Keiichi Suzuki},
  editor       = {Friedrich L. Bauer and
                  Leon G. Stucki and
                  Meir M. Lehman},
  title        = {On {A} Systematic Approach to the Development and Validation of Critical
                  Software for Nuclear Power Plants},
  booktitle    = {Proceedings of the 4th International Conference on Software Engineering,
                  Munich, Germany, September 1979},
  pages        = {231--240},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {http://dl.acm.org/citation.cfm?id=802943},
  timestamp    = {Mon, 14 May 2012 18:17:19 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/RamamoorthyBFMNS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics