Author:
Nguyen Truong Khanh,Sun Jun,Liu Yang,Dong Jin Song
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
2. Alur, R., Taubenfeld, G.: Results about Fast Mutual Exclusion. In: IEEE Real-Time Systems Symposium, pp. 12–22 (1992)
3. Lecture Notes in Computer Science;D. Beyer,2003
4. Lecture Notes in Computer Science;D.L. Dill,1990
5. Lecture Notes in Computer Science;T.A. Henzinger,1992
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献