The complexity of model checking concurrent programs against CTLK specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Franco Raimondi. The complexity of model checking concurrent programs against CTLK specifications. In Hideyuki Nakashima, Michael P. Wellman, Gerhard Weiss, Peter Stone, editors, 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006. pages 548-550, ACM, 2006. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Franco Raimondi' in Google

runs on WebDSL