@article{DBLP:journals/jacm/NicolaV95,
  author    = {Rocco {De Nicola} and
               Frits W. Vaandrager},
  title     = {Three Logics for Branching Bisimulation},
  journal   = {J. {ACM}},
  volume    = {42},
  number    = {2},
  pages     = {458--487},
  year      = {1995},
  url       = {https://doi.org/10.1145/201019.201032},
  doi       = {10.1145/201019.201032},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jacm/NicolaV95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"griti8DzBGQf6JvY8","bibbaseid":"denicola-vaandrager-threelogicsforbranchingbisimulation-1995","downloads":0,"creationDate":"2017-04-26T09:07:48.215Z","title":"Three Logics for Branching Bisimulation","author_short":["De Nicola, R.","Vaandrager, F. W."],"year":1995,"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Frits","W."],"propositions":[],"lastnames":["Vaandrager"],"suffixes":[]}],"title":"Three Logics for Branching Bisimulation","journal":"J. ACM","volume":"42","number":"2","pages":"458–487","year":"1995","url":"https://doi.org/10.1145/201019.201032","doi":"10.1145/201019.201032","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/jacm/NicolaV95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jacm/NicolaV95,\n author = {Rocco {De Nicola} and\n Frits W. Vaandrager},\n title = {Three Logics for Branching Bisimulation},\n journal = {J. {ACM}},\n volume = {42},\n number = {2},\n pages = {458--487},\n year = {1995},\n url = {https://doi.org/10.1145/201019.201032},\n doi = {10.1145/201019.201032},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/jacm/NicolaV95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Vaandrager, F. W."],"key":"DBLP:journals/jacm/NicolaV95","id":"DBLP:journals/jacm/NicolaV95","bibbaseid":"denicola-vaandrager-threelogicsforbranchingbisimulation-1995","role":"author","urls":{"Paper":"https://doi.org/10.1145/201019.201032"},"downloads":0},"search_terms":["three","logics","branching","bisimulation","de nicola","vaandrager"],"keywords":["ctl*","hennessy-milner logic","kripke structures","backward modalities","branching bisimulation equivalence","concurrency","doubly labeled transition systems","labeled transition systems","reactive systems","semantics","stuttering equivalence","until operations"],"authorIDs":["xMtf3sJqpfDS3bpdB"],"dataSources":["FxajFA698pihqBfpX"]}