Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

• Authors:

• Hans-Jörg Kreowski;Ugo Montanari;Fernando Orejas;Grzegorz Rozenberg;Gabriele Taentzer

• Affiliations:

• -;-;-;-;-

• Venue:
• Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
• Year:
• 2005