DMCA

On the optimal reachability problem (2006)

Cached

Download Links

by Patricia Bouyer , Thomas Brihaye , Véronique Bruyère , Jean-françois Raskin
Venue:Formal Methods in System Design
Citations:7 - 4 self