Aric D. Blumer, Henning S. Mortveit, Cameron D. Patterson. Formal Modeling of Process Migration. In Koen Bertels, Walid A. Najjar, Arjan J. van Genderen, Stamatis Vassiliadis, editors, FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007. pages 104-110, IEEE, 2007. [doi]
@inproceedings{BlumerMP07,
title = {Formal Modeling of Process Migration},
author = {Aric D. Blumer and Henning S. Mortveit and Cameron D. Patterson},
year = {2007},
doi = {10.1109/FPL.2007.4380633},
url = {http://dx.doi.org/10.1109/FPL.2007.4380633},
tags = {meta-model, modeling, migration, Meta-Environment, process modeling},
researchr = {https://researchr.org/publication/BlumerMP07},
cites = {0},
citedby = {0},
pages = {104-110},
booktitle = {FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007},
editor = {Koen Bertels and Walid A. Najjar and Arjan J. van Genderen and Stamatis Vassiliadis},
publisher = {IEEE},
isbn = {1-4244-1060-6},
}