An analyzer for extended compositional process algebras

Yang Liu, Jun Sun 0001, Jin Song Dong. An analyzer for extended compositional process algebras. In Wilhelm Sch{\"a}fer, Matthew B. Dwyer, Volker Gruhn, editors, 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume. pages 919-920, ACM, Leipzig, Germany, 2008. [doi]

Authors

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google