Model Checking Metric Temporal Logic over Automata with One Counter [chapter]

Karin Quaas
2013 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-37064-9_41 fatcat:a4m6idsjxnhuja2dzhaucyiqae