BibTeX record conf/rtcsa/NakataHT98

download as .bib file

@inproceedings{DBLP:conf/rtcsa/NakataHT98,
  author    = {Akio Nakata and
               Teruo Higashino and
               Kenichi Taniguchi},
  title     = {Protocol Synthesis from Context-Free Processes Using Event Structures},
  booktitle = {5th International Workshop on Real-Time Computing Systems and Applications
               {(RTCSA} '98), 27-29 October 1998, Hiroshima, Japan},
  pages     = {173--180},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {https://doi.org/10.1109/RTCSA.1998.726414},
  doi       = {10.1109/RTCSA.1998.726414},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/rtcsa/NakataHT98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics