@book{festschrift-ehrig:05, added-at = {2010-03-13T18:05:59.000+0100}, biburl = {http://www.bibsonomy.org/bibtex/2cf07a816710caf24f9dfbc4414ac4aa0/minas}, description = {SpringerLink - Buch}, editor = {Kreowski, Hans-Jörg and Montanari, Ugo and Orejas, Fernando and Rozenberg, Grzegorz and Taentzer, Gabriele}, interhash = {9ad5e1fe2be90791c4653d678990f13a}, intrahash = {cf07a816710caf24f9dfbc4414ac4aa0}, keywords = {2005 GraGra}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-03-13T18:05:59.000+0100}, title = {Formal Methods in Software and Systems Modeling}, url = {http://dx.doi.org/10.1007/b106390}, volume = 3393, year = 2005 }