@article{马 川_80, author = {[马 川, 申利民, 王 涛]}, title = {基于构件动态演化的行为一致性验证方法}, publisher = {计算机工程}, year = {2010}, journal = {计算机工程}, volume = {36}, number = {06}, eid = {80}, pages = {80-83}, keywords = {构件;动态演化;行为一致性;进程代数;主动请求接口}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2010.06.026 }