Author:
De Nicola R.,Fantechi A.,Gnesi S.,Ristori G.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. D. Austry, G. Boudol: Algèbre de Processus et Synchronization. Theoretical Computer Science, 30, (1) 1984, pp. 91–131.
2. T. Bolognesi, M. Caneve: Squiggles: a Tool for the Analysis of LOTOS Specifications, in “Formal Description Techniques” (K. Turner, ed.), North-Holland, 1989.
3. M.C. Browne, E.M. Clarke, O. Grümberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theoretical Computer Science, 59 (1,2), 1988, pp. 115–131.
4. A. Boujjani, S. Graf, J. Sifakis: A Logic for the Description of Behaviours and Properties of Concurrent Systems. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (de Bakker, J.et al., eds.) LNCS 354, Springer-Verlag, 1989, pp. 398–410.
5. J. Bradfield, C. Stirling: Verifying Temporal Properties of Processes. in Concur 90 (J. C. P. Baeten, J. W. Klop, eds), LNCS 458, Springer-Verlag, 1990, pp. 115–125.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Application of Model Checking to Fault Tolerance Analysis;From Software Engineering to Formal Methods and Tools, and Back;2019
2. The Legacy of Stefania Gnesi;From Software Engineering to Formal Methods and Tools, and Back;2019
3. States and Events in KandISTI;Lecture Notes in Computer Science;2019
4. From the Archives of the Formal Methods and Tools Lab;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Using FMC for family-based analysis of software product lines;Proceedings of the 19th International Conference on Software Product Line;2015-07-20