메뉴 건너뛰기




Volumn , Issue , 2004, Pages 165-174

Nested emptiness search for generalized büchi automata

Author keywords

[No Author keywords available]

Indexed keywords

BÜCHI WORD AUTOMATA; FINITE STATE SYSTEMS; SPACE EXPLOSION; TEMPORAL LOGIC MODEL;

EID: 10444272460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2004.1309129     Document Type: Conference Paper
Times cited : (10)

References (25)
  • 5
    • 0016048965 scopus 로고
    • Theories of automata on ω-tapes: A simplified approach
    • Y. Choueka. Theories of automata on ω-tapes: A simplified approach. Journal of Computer and System Sciences, 8(2):117-141, 1974.
    • (1974) Journal of Computer and System Sciences , vol.8 , Issue.2 , pp. 117-141
    • Choueka, Y.1
  • 10
    • 0021439842 scopus 로고
    • Deciding full branching time logic
    • E. A. Emerson and A. P. Sistla. Deciding full branching time logic. Information and Control, 61(3):175-201, 1984.
    • (1984) Information and Control , vol.61 , Issue.3 , pp. 175-201
    • Emerson, E.A.1    Sistla, A.P.2
  • 11
    • 33749611582 scopus 로고
    • Texts and monographs in computer science
    • Springer-Verlag
    • N. Francez. Fairness. Texts and Monographs in Computer Science. Springer-Verlag, 1986.
    • (1986) Fairness
    • Francez, N.1
  • 18
    • 0032209123 scopus 로고    scopus 로고
    • An analysis of bitstate hashing
    • G. J. Holzmann. An analysis of bitstate hashing. Formal Methods in System Design, 13(3):289-307, 1998.
    • (1998) Formal Methods in System Design , vol.13 , Issue.3 , pp. 289-307
    • Holzmann, G.J.1
  • 20
    • 33745529429 scopus 로고    scopus 로고
    • Algorithmic verification of linear temporal logic specifications
    • K. G. Larsen, S. Skyum, and G. Winskel, editors, volume 1443 of Lecture Notes in Computer Science. Springer-Verlag
    • Y. Kesten, A. Pnueli, and L. Raviv. Algorithmic verification of linear temporal logic specifications. In K. G. Larsen, S. Skyum, and G. Winskel, editors, Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP 1998), volume 1443 of Lecture Notes in Computer Science, pages 1-16. Springer-Verlag, 1998.
    • (1998) Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP 1998) , pp. 1-16
    • Kesten, Y.1    Pnueli, A.2    Raviv, L.3
  • 21
  • 23
    • 10444245628 scopus 로고    scopus 로고
    • On translating linear temporal logic into alternating and nondeterministic automata
    • Helsinki University of Technology, Laboratory for Theoretical Computer Science
    • H. Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Research Report A83, Helsinki University of Technology, Laboratory for Theoretical Computer Science, 2003.
    • (2003) Research Report , vol.A83
    • Tauriainen, H.1


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