1990
Three logics for branching bisimulation
Publication
Publication
Presented at the
IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA
Additional Metadata | |
---|---|
, , | |
IEEE Computer Society Press (Los Alamitos, CA) | |
IEEE Symposium on Logic in Computer Science | |
de Nicola, R., & Vaandrager, F. (1990). Three logics for branching bisimulation. In Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science (pp. 118–129). IEEE Computer Society Press (Los Alamitos, CA). |