Language Inclusion Checking of Timed Automata with Non-Zenoness

Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin

Research output: Contribution to journalArticlepeer-review

153 Downloads (Pure)

Search results