Author:
Levy Eythan,Geeraerts Gilles,Pluquet Frédéric,Piasetzky Eli,Fantalkin Alexander
Funder
Israel Ministry of Absorption
Dan David Foundation
Reference40 articles.
1. Towards a general theory of action and time;Allen;Artif. Intell.,1984
2. Time and time again: the many ways to represent time;Allen;Int. J. Intell. Syst.,1991
3. A theory of timed automata;Alur;Theor. Comput. Sci.,1994
4. A tutorial on Uppaal;Behrmann,2004
5. KRONOS: a model-checking tool for real-time systems (tool-presentation);Bozga,1998
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献