König, Barbara:
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
Buchaufsatz/Kapitel in Sammelwerk2007Informatik
Titel:
Deriving Bisimulation Congruences with Borrowed Contexts
Autor(in):
König, BarbaraLSF
Erscheinungsjahr
2007
WWW URL