BibTeX record conf/words/KungLHC97

download as .bib file

@inproceedings{DBLP:conf/words/KungLHC97,
  author    = {David Chenho Kung and
               John Lin and
               Pei Hsia and
               Bill Carroll},
  title     = {Object-oriented real time systems modeling and verification},
  booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
               '97), 5-7 February 1997, Newport Beach, CA, {USA}},
  pages     = {224--231},
  year      = {1997},
  crossref  = {DBLP:conf/words/1997},
  url       = {https://doi.org/10.1109/WORDS.1997.609958},
  doi       = {10.1109/WORDS.1997.609958},
  timestamp = {Wed, 24 May 2017 08:30:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/words/KungLHC97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/1997,
  title     = {3rd Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
               '97), 5-7 February 1997, Newport Beach, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4830},
  isbn      = {0-8186-8046-6},
  timestamp = {Thu, 06 Nov 2014 17:05:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/words/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier