Author:
Fiadeiro José L.,Lopes Antónia
Funder
Engineering and Physical Sciences Research Council
Royal Society International Exchange
AFOSR
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. The existence of refinement mappings;Abadi;Theoret. Comput. Sci.,1991
2. Recognizing safety and liveness;Alpern;Distrib. Comput.,1987
3. The benefits of relaxing punctuality;Alur;J. ACM,1996
4. Tag machines;Benveniste,2005
5. A tool for deciding the satisfiability of continuous-time metric temporal logic;Bersani,2013
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献