Publisher
Springer International Publishing
Reference17 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Beer, H.: The LTL Checker Plugins: A Reference Manual. Eindhoven University of Technology, Eindhoven (2004)
3. Lecture Notes in Computer Science;P Behm,1999
4. Cavada, R., Cimatti, A., Sessa, M.: Analysis of relay interlocking systems via SMT-based model checking of switched multi-domain Kirchhoff networks. In: The Eighteenth in a Series of Conferences on the Theory and Applications of Formal Methods in Hardware and System Verification (FMCAD 2018), vol. 18, pp. 179–187. IEEE (2018)
5. ClearSy: B Language Reference Manual, version 1.8.5
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献