Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Moore, J.S.: A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol. Formal Aspects of Computing 6(1), 60–91 (1994)
2. Umeno, S.: Event order abstraction for parametric real-time system verification. In: EMSOFT 2008: The 8th ACM & IEEE International Conference on Embedded Software, 1–10 (2008) A technical report version appears as MIT-CSAIL-TR-2008-048, Massachusetts Institute of Technology (July 2008)
3. Vaandrager, F.W., de Groot, A.: Analysis of a biphase mark protocol with UPPAAL and PVS. Formal Asp. Comput. 18(4), 433–458 (2006)
4. Zhang, D., Cleaveland, R.: Fast on-the-fly parametric real-time model checking. In: Proceedings of the 26th IEEE Real-Time Systems Symposium, pp. 157–166 (2005)
5. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Theory of Timed I/O Automata, Second Edition;Synthesis Lectures on Distributed Computing Theory;2010-01