A Verification Framework for Agent Knowledge - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Song Dong, Yuzhang Feng, Ho-Fung Leung. A Verification Framework for Agent Knowledge. In Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie, editors, Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings. Volume 4789 of Lecture Notes in Computer Science, pages 57-75, Springer, 2007. [doi]

This author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Yuzhang Feng' in GoogleThis author has not been identified. Look up 'Ho-Fung Leung' in Google

runs on WebDSL