Rangel, Guilherme; König, Barbara; Ehrig, Hartmut:

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

In: Proceedings of the 11th International Conference of Foundations of Software Science and Computational Structures, FOSSACS 2008. - (Lecture Notes in Computer Science ; 4962)
Berlin [u.a.]: Springer (2008), S. 413-427
ISBN: 3-540-78497-7
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.