-
1
-
-
0020299274
-
Specification and Verification of Concurrent Systems in CESAR
-
LNCS 137, Springer
-
J.P. Queille, J. Sifakis, "Specification and Verification of Concurrent Systems in CESAR", In Proc.5th Internat.Symp.on Programming, LNCS 137, Springer, 1982.
-
Proc. 5th Internat. Symp. on Programming
, pp. 1982
-
-
Queille, J.P.1
Sifakis, J.2
-
2
-
-
0002367651
-
Synthesis of synchronization skeletons for branching time logic
-
LNCS
-
E.M. Clarke, E.A. Emerson, "Synthesis of synchronization skeletons for branching time logic", Logic of Programs, LNCS 131, pp. 52-71, 1981.
-
(1981)
Logic of Programs
, vol.131
, pp. 52-71
-
-
Clarke, E.M.1
Emerson, E.A.2
-
3
-
-
36649007674
-
Frammed temporal logic programming
-
Duan, Z., Yang, X., Koutny, M., "Frammed temporal logic programming.", Science of Computer Programming 70, pp.31-61, 2008.
-
(2008)
Science of Computer Programming
, vol.70
, pp. 31-61
-
-
Duan, Z.1
Yang, X.2
Koutny, M.3
-
4
-
-
38349149568
-
A decision procedure for propositional projection temporal logic
-
Duan, Z., Tian, C., Zhang, L., "A decision procedure for propositional projection temporal logic", Acta Informatica 45, pp.43-78, 2008.
-
(2008)
Acta Informatica
, vol.45
, pp. 43-78
-
-
Duan, Z.1
Tian, C.2
Zhang, L.3
-
5
-
-
0242581943
-
The Spin Model Checker: Primer and Reference Manual
-
Addison-Wesley, USA
-
G.J. Holzmann, The Spin Model Checker: Primer and Reference Manual, Addison-Wesley, USA, 2003.
-
(2003)
-
-
Holzmann, G.J.1
-
7
-
-
0019112115
-
On the temporal analysis of fairness
-
D. Gabbay, A. Pnueli, S. Shelah, J. Stavi, "On the temporal analysis of fairness", Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.163-173, 1980.
-
(1980)
Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 163-173
-
-
Gabbay, D.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
8
-
-
51749119592
-
Propositional Projection Temporal Logic, Büchi Automata and ω-Regular Expressions
-
LNCS
-
C. Tian, Z. Duan, "Propositional Projection Temporal Logic, Büchi Automata and ω-Regular Expressions", Proceedings of TAMC08, LNCS 4897,pp. 47-58, 2008.
-
(2008)
Proceedings of TAMC08
, vol.4897
, pp. 47-58
-
-
Tian, C.1
Duan, Z.2
-
9
-
-
0018048246
-
Communications of the ACM
-
Roger Needham and Michael Schroeder. Using encryption for authentication in large networks of computers, December
-
Roger Needham and Michael Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12), December 1978.
-
(1978)
, vol.21
, Issue.12
-
-
-
10
-
-
0017930809
-
A method for obtaining digital signatures and public key cryptosystems
-
R. L. Rivest, A. Shamir, L. Adleman, "A method for obtaining digital signatures and public key cryptosystems", Communications of the ACM, vol.21, no. 2: pp.120-126, 1978.
-
(1978)
Communications of the ACM
, vol.21
, Issue.2
, pp. 120-126
-
-
Rivest, R.L.1
Shamir, A.2
Adleman, L.3
-
11
-
-
78651577521
-
Lecture Notes in Computer Science archive
-
Model checking: a tutorial overview. Source
-
Model checking: a tutorial overview. Source, Lecture Notes In Computer Science archive. Modeling and verification of parallel processes book contents, 2067:pp.3-38, 2000.
-
(2000)
Modeling and Verification of Parallel Processes Book Contents
, vol.2067
, pp. 3-38
-
-
-
12
-
-
78651413023
-
An integrative framework for continuous knowledge discovery
-
AICIT
-
Ding Pan, "An Integrative Framework for Continuous Knowledge Discovery", Journal of Convergence Information Technology, AICIT, vol. 5, no. 3, pp.46-53, 2010.
-
(2010)
Journal of Convergence Information Technology
, vol.5
, Issue.3
, pp. 46-53
-
-
Pan, D.1
|