Author:
De Nicola Rocco,Duong Tan,Inverso Omar,Mazzanti Franco
Publisher
Springer International Publishing
Reference29 articles.
1. De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. Comput. Networks ISDN Syst. 25(7), 761–778 (1993)
2. Lecture Notes in Computer Science;R Nicola De,1990
3. Gnesi, S., Mazzanti, F.: On the fly verification of network of automata. In: Arabnia, H.R. (Ed) Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA, CSREA Press, Georgia, pp. 1040–1046 (1999)
4. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119–135 (2011)
5. Lecture Notes in Computer Science;Y Abd Alrahman,2016
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献