Three Logics for Branching Bisimulation (Extended Abstract). Nicola, R. D. and Vaandrager, F. W. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, California, USA, June 5-8, 1989, pages 118–129, 1990. IEEE Computer Society.
Three Logics for Branching Bisimulation (Extended Abstract) [link]Paper  doi  bibtex   
@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}
}
Downloads: 0