Author:
Fantechi A.,Gnesi S.,Ristori G.,Carenini M.,Vanocchi M.,Moreschini P.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference23 articles.
1. Allen, J.,Natural Language Understanding, Addison-Wesley Publishing Company, 1987.
2. Clarke, E.M., Emerson, E.A., Sistla, A.P.,Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM TOPLAS, 8 (2), pp. 244?263, 1986.
3. Cleaveland, R., Steffen, B.,A Linear Time Model Checking Algorithm for the Alternation Free Modal ?-calculus, Lecture Notes in Computer Science 575, Springer-Verlag, 1991. pp. 48?58.
4. DeMillo, R.A., et al., Software Testing and Evaluation, The Benjamin/Cummings Publishing Company Inc., 1987.
5. De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.,An action-based framework for verifying logical and behavioural properties of concurrent systems, Computer Networks and ISDN Systems, 25, (7), pp. 761?778, 1993.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献