Author:
Ciancia Vincenzo,Gilmore Stephen,Grilletti Gianluca,Latella Diego,Loreti Michele,Massink Mieke
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference44 articles.
1. Aiello, M.: Spatial reasoning: theory and practice. Ph.D. thesis, ILLC, University of Amsterdam (2002)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Bartocci, E., Gol, E.A., Haghighi, I., Belta, C.: A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. IEEE Trans. Control Netw. Syst. PP, 1–12 (2016)
4. Belmonte, G., Ciancia, V., Latella, D., Massink, M.: From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging. In: Proceedings of the Workshop on FORmal Methods for the Quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016, volume 217 of EPTCS, pp. 81–92 (2016)
5. Ben-Ari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Inform. 20(3), 207–226 (1983)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献