Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2013 (2013), Article ID 421926, 19 pages
http://dx.doi.org/10.1155/2013/421926
Research Article

Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation

1School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China
2Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning, Guangxi 530006, China

Received 9 April 2013; Revised 6 August 2013; Accepted 7 August 2013

Academic Editor: Yang Xu

Copyright © 2013 Hui Deng and Jinzhao Wu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Hui Deng and Jinzhao Wu, “Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-Numeric Computation,” Mathematical Problems in Engineering, vol. 2013, Article ID 421926, 19 pages, 2013. doi:10.1155/2013/421926