%0 Conference Paper %1 conf/ifm/KatzG02 %A Katz, Shmuel %A Grumberg, Orna %B IFM %D 2002 %E Butler, Michael J. %E Petre, Luigia %E Sere, Kaisa %I Springer %K dblp %P 145-164 %T A Framework for Translating Models and Specifications. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#KatzG02 %V 2335 %@ 3-540-43703-7

@inproceedings{conf/ifm/KatzG02, added-at = {2017-05-24T00:00:00.000+0200}, author = {Katz, Shmuel and Grumberg, Orna}, biburl = {https://www.bibsonomy.org/bibtex/204c2bf38ced980c4c927edcb500637f2/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2002}, editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa}, ee = {https://doi.org/10.1007/3-540-47884-1_9}, interhash = {1157674fc66b1afc44c396d4b9a840ab}, intrahash = {04c2bf38ced980c4c927edcb500637f2}, isbn = {3-540-43703-7}, keywords = {dblp}, pages = {145-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:23.000+0200}, title = {A Framework for Translating Models and Specifications.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#KatzG02}, volume = 2335, year = 2002 }