Min Zhang 0002, Kazuhiro Ogata, Kokichi Futatsugi. An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 664-673, IEEE, 2012. [doi]
@inproceedings{0002OF12, title = {An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms}, author = {Min Zhang 0002 and Kazuhiro Ogata and Kokichi Futatsugi}, year = {2012}, doi = {10.1109/APSEC.2012.100}, url = {http://dx.doi.org/10.1109/APSEC.2012.100}, researchr = {https://researchr.org/publication/0002OF12}, cites = {0}, citedby = {0}, pages = {664-673}, booktitle = {19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012}, editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri}, publisher = {IEEE}, isbn = {978-0-7695-4922-4}, }