BibTeX record conf/words/TsaiW96

download as .bib file

@inproceedings{DBLP:conf/words/TsaiW96,
  author       = {Jeffrey J. P. Tsai and
                  Thomas J. Weigert},
  title        = {A logic-based requirements language for the specification and analysis
                  of real-time systems},
  booktitle    = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
                  Dependable Systems, February 1-2, 1996, Laguna Beach, California,
                  {USA}},
  pages        = {8--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/WORDS.1996.506256},
  doi          = {10.1109/WORDS.1996.506256},
  timestamp    = {Fri, 24 Mar 2023 00:02:26 +0100},
  biburl       = {https://dblp.org/rec/conf/words/TsaiW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics