Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg. Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. In Mehdi Dastani, Amal El Fallah-Seghrouchni, Alessandro Ricci, Michael Winikoff, editors, Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Volume 4908 of Lecture Notes in Computer Science, pages 205-220, Springer, 2007. [doi]

This author has not been identified. Look up 'Ulrich Furbach' in GoogleThis author has not been identified. Look up 'Jan Murray' in GoogleThis author has not been identified. Look up 'Falk Schmidsberger' in GoogleThis author has not been identified. Look up 'Frieder Stolzenburg' in Google

runs on WebDSL