Author:
Bodei Chiara,Degano Pierpaolo,Ferrari Gian-Luigi,Galletta Letterio
Publisher
Springer International Publishing
Reference17 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: issue and challenges. Computer 39(10), 36–43 (2006)
3. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6), 23 (2009)
4. Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Static validation of security protocols. J. Comput. Secur. 13(3), 347–390 (2005)
5. Lecture Notes in Computer Science;C Bodei,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Programming in a context-aware language;The Journal of Supercomputing;2018-09-15
2. Experimenting with a Context-Aware Language;Lecture Notes in Computer Science;2017