![](https://www.pdfsearch.io/img/264ebf9181934f17b9e67a4ae491f279.jpg) Date: 2016-12-08 09:49:05
| | Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2Add to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source Website File Size: 620,04 KBShare Document on Facebook
|