Publisher
Springer Science and Business Media LLC
Reference53 articles.
1. Abrial JR (1996) The B-book. Cambridge University Press, Cambridge
2. Website of AutoFocus with documentation, screenshots, tutorials and download. http://autofocus.in.tum.de
3. Website AutoRAID, with documentation, screenshots and downloads http://wwwbroy.in.tum.de/~autoraid/
4. Baeten JCM, Bergstra J (1992) Process algebras with signals and conditions. In: Broy M (ed.) Programming and mathematical method. Springer, Berlin Heidelberg New York, pp 273–324, NATO ASI Series, Series F: Computer and system sciences, vol. 88.
5. Benveniste A, Caspi P, Edwards S, Halbwachs N, LeGuernic P, De Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64–83
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献