BibTeX record conf/rtcsa/WallSMNY00

• > Home > conf/rtcsa/WallSMNY00

@inproceedings{DBLP:conf/rtcsa/WallSMNY00,
  author       = {Anders Wall and
                  Kristian Sandstr{\"{o}}m and
                  Jukka M{\"{a}}ki{-}Turja and
                  Christer Norstr{\"{o}}m and
                  Wang Yi},
  title        = {Verifying temporal constraints on data in multi-rate transactions
                  using timed automata},
  booktitle    = {7th International Workshop on Real-Time Computing and Applications
                  Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
                  Korea},
  pages        = {263--270},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/RTCSA.2000.896400},
  doi          = {10.1109/RTCSA.2000.896400},
  timestamp    = {Thu, 23 Mar 2023 23:57:48 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/WallSMNY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}