Article
Document
Reachability results for timed automata with unbounded data structures
Information Content Entity
Academic Article
Generically Dependent Continuant
RDF description of Reachability results for timed automata with unbounded data structures - http://irises.uninsubria.it/resource/item/21902