Meng Wang, Zhenhua Duan, Cong Tian. Simulation and verification of the virtual memory management system with MSVL. In Jiang-Liang Hou, Amy J. C. Trappey, Chien-Wei Wu, Kuo-Hao Chang, Chung-Shou Liao, Weiming Shen, Jean-Paul A. Barthès, Jun-Zhou Luo, editors, Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2014, Hsinchu, Taiwan, May 21-23, 2014. pages 360-365, IEEE, 2014. [doi]
Abstract is missing.