Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. ASM-Bibliography. http://www.eecs.umich.edu/gasm/. WWW page.
2. B. A. Brandin, “The Real Time Supervisory Control of an Experimental Manufacturing Cell”, IEEE Transactions on Robotics and Automation, Vol. 12, No. 1, February 1996, pp. 329–342.
3. H. Busch. A Practical Method for Reasoning About Distributed Systems in a Theorem Prover. In Higher Order Logic Theorem Proving and its Applications-8th International Workshop, Aspen Grove, UT, USA, Proceedings, pages 106–121. Springer-Verlag, LNCS 971, September 1995.
4. H. Busch. Proving Liveness of Fair Transition Systems. In J. v. Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics: 9th International Conference, TPHOL'96, volume 1125 of LNCS, pages 77–92. Springer-Verlag, August 1996.
5. J. R. Cuellar and 1. Wildgruber. A TLT Solution. In J. R. Abrial, E. Börger, and H. Langmaak, editors, Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler, volume 1165 of LNCS, pages 165–183. Springer-Verlag, 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Prototyping Electronic Commerce Systems Using Esterel;Journal of Organizational Computing and Electronic Commerce;2001-12
2. An environment for specifying and verifying security properties;Proceedings 2001 Australian Software Engineering Conference