First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 620,04 KBShare Document on Facebook |