DMCA

Using non-convex approximations for efficient analysis of timed automata: Extended version (2011)

by F. Herbreteau , D. Kini , B. Srivathsan , I. Walukiewicz
Venue:arXiv – Computing Research Repository
Citations:4 - 2 self