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
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Autor(in):
Rangel, Guilherme; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Ehrig, Hartmut
Erscheinungsjahr
2008
Erschienen 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
WWW URL