Paper

Type

ARTICLE  

Title

Three Logics for Branching Bisimulation  

Authors

Rocco De Nicola, Frits W. Vaandrager 

Book

J. ACM  

Pages

458-487  

Volume

42  

Number

2  

Year

1995  

Bibtex key

DBLP:journals/jacm/NicolaV95  

Bibtex

@ARTICLE{DBLP:journals/jacm/NicolaV95,
  title = {{Three Logics for Branching Bisimulation}},
  author = {De Nicola, Rocco and Vaandrager, Frits W.},
  journal = {J. ACM},
  pages = {458-487},
  volume = {42},
  number = {2},
  year = {1995},
}

 

Created

0000-00-00 00:00:00  

Modified

0000-00-00 00:00:00