Funder
Engineering and Physical Sciences Research Council
Research Councils UK
Subject
General Computer Science,Theoretical Computer Science
Reference74 articles.
1. Understanding deadlock and livelock behaviors in hybrid control systems;Abate;Nonlinear Anal. Hybrid Syst.,2009
2. MetiTarski: an automatic theorem prover for real-valued special functions;Akbarpour;J. Automat. Reason.,2010
3. Defining liveness;Alpern;Inform. Process. Lett.,1985
4. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems;Alur,1993
5. The benefits of relaxing punctuality;Alur;J. ACM,1996
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献