@article{DBLP:journals/tcs/NicolaH84,
  author    = {Rocco De Nicola and
               Matthew Hennessy},
  title     = {Testing Equivalences for Processes},
  journal   = {Theor. Comput. Sci.},
  volume    = {34},
  pages     = {83--133},
  year      = {1984},
  url       = {https://doi.org/10.1016/0304-3975(84)90113-0},
  doi       = {10.1016/0304-3975(84)90113-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/NicolaH84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fishHzWPm9tdAyviH","bibbaseid":"nicola-hennessy-testingequivalencesforprocesses-1984","authorIDs":[],"author_short":["Nicola, R. D.","Hennessy, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Matthew"],"propositions":[],"lastnames":["Hennessy"],"suffixes":[]}],"title":"Testing Equivalences for Processes","journal":"Theor. Comput. Sci.","volume":"34","pages":"83–133","year":"1984","url":"https://doi.org/10.1016/0304-3975(84)90113-0","doi":"10.1016/0304-3975(84)90113-0","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tcs/NicolaH84.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/NicolaH84,\n author = {Rocco De Nicola and\n Matthew Hennessy},\n title = {Testing Equivalences for Processes},\n journal = {Theor. Comput. Sci.},\n volume = {34},\n pages = {83--133},\n year = {1984},\n url = {https://doi.org/10.1016/0304-3975(84)90113-0},\n doi = {10.1016/0304-3975(84)90113-0},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcs/NicolaH84.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Hennessy, M."],"key":"DBLP:journals/tcs/NicolaH84","id":"DBLP:journals/tcs/NicolaH84","bibbaseid":"nicola-hennessy-testingequivalencesforprocesses-1984","role":"author","urls":{"Paper":"https://doi.org/10.1016/0304-3975(84)90113-0"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.703Z","downloads":0,"keywords":[],"search_terms":["testing","equivalences","processes","nicola","hennessy"],"title":"Testing Equivalences for Processes","year":1984,"dataSources":["FxajFA698pihqBfpX"]}