Author:
Bordbar Behzad,Okano Kozo
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Akehurst, D.H., Bordbar, B., Derrick, J., Waters, A.G.: Design support for distributed systems: dse4ds. In: Finney, J., Haahr, M., Montressor, A. (eds.) Proceedings of the 7th Cabernet Radicals Workshop (October 2002)
2. Lecture Notes in Computer Science;L. Ageto,1998
3. Ageto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: Model-Checking via Reachability Testing for Timed Automata. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 263–280. Springer, Heidelberg (1998)
4. Ageto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: The Power of Reachability Testing for Timed Automata, Available from http://www.lsv.ens-cachan.fr/Publis/publis-y3-2003.php (to appear in Theoretical Computer Science)
5. Alur, R., Dill, D.L.: A Theory for Timed Automata. Theoretical Computer Science 125, 183–235 (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献