Author:
Dong Yifei,Du Xiaoqun,Holzmann Gerard J.,Smolka Scott A.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference28 articles.
1. Alur, R., Henzinger, T.A.: Computer Aided Verification (CAV ’96), Lecture Notes in Computer Science, vol. 1102. Springer, Berlin Heidelberg New York, 1996
2. Chamillard, A.T., Clarke, L.A., Avrunin, G.S.: Experimental design for comparing static concurrency analysis techniques. Technical Report 96-084, Computer Science Department, University of Massachusetts at Amherst, 1996
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS 8(2):244–263, 1986
4. Cleaveland, R., Lewis, P.M., Smolka, S.A., Sokolsky, O.: The Concurrency Factory: a development environment for concurrent systems. In: Alur, Henzinger, (eds.), [1], pp. 398–401
5. Chandy, K.M., Misra, J.: Parallel program design – a foundation. Addison-Wesley, Reading, Mass., USA, 1988
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献