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