Jianzhou Zhao, Jinian Bian, Weimin Wu. Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. In Weiming Shen, Anne E. James, Kuo-Ming Chao, Muhammad Younas, Zongkai Lin, Jean-Paul A. Barthès, editors, Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, CSCWD 2005, Volume 2, May 24-26, 2005, Coventry, UK. pages 1024-1028, IEEE Computer Society, 2005. [doi]
Abstract is missing.