Author:
Gibson J. Paul,Kherroubi Souad,Méry Dominique
Publisher
Springer International Publishing
Reference19 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Jon Barwise, K.: Conditionals and conditional information. In: Traugott, E., ter Meulen, A., Reilly, J., Ferguson, C. (eds.) On Conditionals, pp. 21–54. Cambridge University Press, Cambridge (1986)
3. Lecture Notes in Computer Science;N Benaissa,2008
4. Lecture Notes in Computer Science;N Benaissa,2010
5. Texts in Theoretical Computer Science. An EATCS Series;D Bjorner,2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献