×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [gamebased analysis model]
Home >
gamebased analysis model
Games for Formal Design and Verification of Reactive Systems Rajeev Alur University of Pennsylvania alur/ ATVA, Taipei, November.
219 views