Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Б2.2, Б2.3, Б4.12.

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th BirthdayEd. by Kreowski H. -J., Montanari U., Orejas F., Rozenberg G..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3393.-413 p.-(Lecture Notes in Computer Science).