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 Sammelwerk2008Informatik
Titel:
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Autor(in):
Rangel, Guilherme; König, BarbaraLSF; Ehrig, Hartmut
Erscheinungsjahr
2008
WWW URL
Erschienen in:
Titel:
Proceedings of the 11th International Conference of Foundations of Software Science and Computational Structures, FOSSACS 2008. - (Lecture Notes in Computer Science ; 4962)
Erscheinungsort
Berlin [u.a.]
Verlag
Springer
Erscheinungsjahr
2008
in:
S. 413 - 427
ISBN: