Title | ||
---|---|---|
Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-642-54862-8_21 | TACAS |
Field | DocType | Citations |
Language inclusion,Specification language,Programming language,Model checking,Computer science,Automaton,Theoretical computer science,Timed automaton,Scalability,Undecidable problem | Conference | 6 |
PageRank | References | Authors |
0.45 | 25 | 5 |