BibTeX record conf/asian/IgarashiSSM96

download as .bib file

@inproceedings{DBLP:conf/asian/IgarashiSSM96,
  author       = {Shigeru Igarashi and
                  Masayuki Shio and
                  Tetsuya Shirogane and
                  Tetsuya Mizutani},
  editor       = {Joxan Jaffar and
                  Roland H. C. Yap},
  title        = {Formal Verification and Evaluation of Execution Time in the Envelope
                  Theory},
  booktitle    = {Concurrency and Parallelism, Programming, Networking, and Security:
                  Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
                  December 2-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1179},
  pages        = {299--308},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0027802},
  doi          = {10.1007/BFB0027802},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/asian/IgarashiSSM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics