BibTeX

@inproceedings{DBLP:conf/napaw/YuenSI92,
  author       = {Shoji Yuen and
                  Toshiki Sakabe and
                  Yasuyoshi Inagaki},
  editor       = {S. Purushothaman and
                  Amy E. Zwarico},
  title        = {An Extension of the Testing Method for Processes Passing Infinite
                  Values},
  booktitle    = {{NAPAW} 92, Proceedings of the First North American Process Algebra
                  Workshop, Stony Brook, New York, USA, 28 Agust 1992},
  series       = {Workshops in Computing},
  pages        = {155--173},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3217-2\_10},
  doi          = {10.1007/978-1-4471-3217-2\_10},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/napaw/YuenSI92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}