A hybrid algorithm for LTL games
Conference Proceeding
Overview
publication date
- January 7, 2008
Full Author List
- Sohail S; Somenzi F; Ravi K
published in
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-540-78162-2
Additional Document Info
start page
- 309
end page
- +
volume
- 4905