DMCA

Synthesis of bounded integer parameters for parametric timed reachability games (2013)

Cached

Download Links

by Didier Lime , Olivier H. Roux
Venue:In ATVA, volume 8172 of Lecture Notes in Computer Science
Citations:2 - 1 self