Funder
Agence Nationale de la Recherche
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. A sandwich proof of the Shannon–McMillan–Breiman theorem;Algoet;Ann. Probab.,1988
2. Model-checking for probabilistic real-time systems (extended abstract);Alur,1991
3. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
4. Toward a timed theory of channel coding;Asarin,2012
5. Spectral gap in timed automata;Asarin,2013
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献