@inproceedings{DBLP:conf/lics/NicolaV90a,
  author    = {Rocco De Nicola and
               Frits W. Vaandrager},
  title     = {Three Logics for Branching Bisimulation (Extended Abstract)},
  booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
               {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
  pages     = {118--129},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {https://doi.org/10.1109/LICS.1990.113739},
  doi       = {10.1109/LICS.1990.113739},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/lics/NicolaV90a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ZqNDdEhtSZeWWtM3E","bibbaseid":"nicola-vaandrager-threelogicsforbranchingbisimulationextendedabstract-1990","authorIDs":[],"author_short":["Nicola, R. D.","Vaandrager, F. W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Rocco","De"],"propositions":[],"lastnames":["Nicola"],"suffixes":[]},{"firstnames":["Frits","W."],"propositions":[],"lastnames":["Vaandrager"],"suffixes":[]}],"title":"Three Logics for Branching Bisimulation (Extended Abstract)","booktitle":"Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989","pages":"118–129","publisher":"IEEE Computer Society","year":"1990","url":"https://doi.org/10.1109/LICS.1990.113739","doi":"10.1109/LICS.1990.113739","timestamp":"Wed, 16 Oct 2019 14:14:54 +0200","biburl":"https://dblp.org/rec/conf/lics/NicolaV90a.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/NicolaV90a,\n author = {Rocco De Nicola and\n Frits W. Vaandrager},\n title = {Three Logics for Branching Bisimulation (Extended Abstract)},\n booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science\n {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},\n pages = {118--129},\n publisher = {{IEEE} Computer Society},\n year = {1990},\n url = {https://doi.org/10.1109/LICS.1990.113739},\n doi = {10.1109/LICS.1990.113739},\n timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},\n biburl = {https://dblp.org/rec/conf/lics/NicolaV90a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nicola, R. D.","Vaandrager, F. W."],"key":"DBLP:conf/lics/NicolaV90a","id":"DBLP:conf/lics/NicolaV90a","bibbaseid":"nicola-vaandrager-threelogicsforbranchingbisimulationextendedabstract-1990","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.1990.113739"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-08-07T16:49:57.697Z","downloads":0,"keywords":[],"search_terms":["three","logics","branching","bisimulation","extended","abstract","nicola","vaandrager"],"title":"Three Logics for Branching Bisimulation (Extended Abstract)","year":1990,"dataSources":["FxajFA698pihqBfpX"]}