메뉴 건너뛰기




Volumn 630 LNCS, Issue , 1992, Pages 340-354

Minimization of timed transition systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 85027622491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0084802     Document Type: Conference Paper
Times cited : (105)

References (20)
  • 7
    • 0022890039 scopus 로고
    • Automatic verification of sequential circuits using temporal logic
    • M. Browne, E. Clarke, D. Dill, and B. Mishra. Automatic verification of sequential circuits using temporal logic. IEEE Transactions on Computers, C-35(12):1035-1044, 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.12 , pp. 1035-1044
    • Browne, M.1    Clarke, E.2    Dill, D.3    Mishra, B.4
  • 9
    • 85030634249 scopus 로고
    • Decidability of bisimulation equivalence for parallel timer processes
    • Goteborg
    • K. Cerans. Decidability of bisimulation equivalence for parallel timer processes. In Proceedings of ChaImers Workshop on Concurrency, Goteborg, 1991.
    • (1991) Proceedings of ChaImers Workshop on Concurrency
    • Cerans, K.1
  • 10
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal-logic specifications
    • E. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.1    Emerson, E.A.2    Sistla, A.P.3
  • 14
    • 0020226119 scopus 로고
    • Using branching-time temporal logic to synthesize synchronization skeletons
    • E. A. Emerson and E. M. Clarke. Using branching-time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2:241-266, 1982.
    • (1982) Science of Computer Programming , vol.2 , pp. 241-266
    • Emerson, E.A.1    Clarke, E.M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.