Deriving Bisimulation Congruences with Borrowed Contexts

In: Proceedings of the Second International Conference of Algebra and Coalgebra in Computer Science (CALCO 2007). - (Lecture Notes in Computer Science ; 4624)
Berlin [u.a.]: Springer (2007), S. 36-39
ISBN: 3-540-73857-6
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.