Time optimal reachability analysis using swarm verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhengkui Zhang, Brian Nielsen, Kim G. Larsen. Time optimal reachability analysis using swarm verification. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1634-1640, ACM, 2016. [doi]

This author has not been identified. Look up 'Zhengkui Zhang' in GoogleThis author has not been identified. It may be one of the following persons:

Brian Nielsen

Look up 'Brian Nielsen' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in Google

runs on WebDSL