Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages 17(3) (1995)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Ammerlaan, M., Spelberg, R.L., Toetenel, H.: XTG - an engineering approach to modelling and analysis of real-time systems. In: 10th Euromicro Workshop on Real Time Systems, pp. 88–97. IEEE Computer Society Press, Los Alamitos (1998)
4. Cerone, A., Cowie, A.J., Milne, G.J., Moseley, P.A.: Modelling a time-dependant protocol using the CIRCAL process algebra. LNCS, vol. 2102, pp. 124–138 (1997)
5. Cerone, A., Kearney, D.A., Milne, G.J.: Integrating the verification of timing, performance and correctness properties of concurrent systems. In: The International Conference on Application of Concurrency to System Design, pp. 109–119. IEEE Computer Society Press, Los Alamitos (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献