메뉴 건너뛰기




Volumn 3302, Issue , 2004, Pages 107-128

History effects and verification

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; DIFFERENTIATION (CALCULUS); INFERENCE ENGINES;

EID: 35048838770     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_8     Document Type: Article
Times cited : (49)

References (27)
  • 3
    • 84947232436 scopus 로고    scopus 로고
    • Bebop: A symbolic model checker for boolean programs
    • Thomas Ball and Sriram K. Rajamani. Bebop: A symbolic model checker for boolean programs. In SPIN, pages 113-130, 2000.
    • (2000) SPIN , pp. 113-130
    • Ball, T.1    Rajamani, S.K.2
  • 6
    • 0012626037 scopus 로고    scopus 로고
    • Verification on infinite structures
    • S. Smolka J. Bergstra, A. Pons, editor, North-Holland
    • O. Burkart, D. Caucal, F. Moller, , and B. Steffen. Verification on infinite structures. In S. Smolka J. Bergstra, A. Pons, editor, Handbook on Process Algebra. North-Holland, 2001.
    • (2001) Handbook on Process Algebra
    • Burkart, O.1    Caucal, D.2    Moller, F.3    Steffen, B.4
  • 11
    • 85010943862 scopus 로고
    • On the decidability of model checking for several mu-calculi and Petri nets
    • Lecture. Notes in Computer Science
    • J. Esparza. On the decidability of model checking for several mu-calculi and Petri nets. In Proceeding of CAAP '94, volume 787 of Lecture. Notes in Computer Science, 1994.
    • (1994) Proceeding of CAAP '94 , vol.787
    • Esparza, J.1
  • 17
    • 49049126479 scopus 로고
    • Results on the propositional mu-calculus
    • December
    • Dexter Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, December 1983.
    • (1983) Theoretical Computer Science , vol.27 , pp. 333-354
    • Kozen, D.1
  • 19
    • 84945270736 scopus 로고    scopus 로고
    • A systematic approach to static access control
    • David Sands, editor, Lecture Notes in Computer Science, Springer Verlag, April
    • François Pottier, Christian Skalka, and Scott Smith. A systematic approach to static access control. In David Sands, editor, Proceedings of the 10th European Symposium on Programming (ESOP'01), volume 2028 of Lecture Notes in Computer Science, pages 30-45. Springer Verlag, April 2001.
    • (2001) Proceedings of the 10th European Symposium on Programming (ESOP'01) , vol.2028 , pp. 30-45
    • Pottier, F.1    Skalka, C.2    Smith, S.3
  • 23
    • 85029621995 scopus 로고
    • Model checking for context-free processes
    • Stony Brook (NY), Lecture Notes in Computer Science (LNCS), Heidelberg, Germany, Springer-Verlag
    • B. Steffen and O. Burkart. Model checking for context-free processes. In CONCUR'92, Stony Brook (NY), volume 630 of Lecture Notes in Computer Science (LNCS), pages 123-137, Heidelberg, Germany, 1992. Springer-Verlag.
    • (1992) CONCUR'92 , vol.630 , pp. 123-137
    • Steffen, B.1    Burkart, O.2
  • 24
    • 35048836647 scopus 로고    scopus 로고
    • Singleton types and singleton kinds
    • Carnegie Mellon University
    • Chris Stone. Singleton types and singleton kinds. Technical Report CMU-CS-00-153, Carnegie Mellon University, 2000.
    • (2000) Technical Report CMU-CS-00-153
    • Stone, C.1


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