( en | de | ru )

 

Disambiguation of "Kesten, Yonit"

Author of the publication

copydeleteadd this publication to your clipboard
Control and Data Abstraction: The Cornerstones of Practical Formal Verification.

, and . Int. J. Softw. Tools Technol. Transf., 2 (4): 328-342 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anke Kesten

Dagmar Kesten

Ernst Kesten

Sigrid Kesten

Walter Kesten

 

Other publications of authors with the same name

Algorithmic Verification of Linear Temporal Logic Specifications., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 1-16. Springer, (1998)Modularization and Abstraction: The Keys to Practical Formal Verification., and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 54-71. Springer, (1998)Network Invariants in Action., , , and . CONCUR, volume 2421 of Lecture Notes in Computer Science, page 101-115. Springer, (2002)Symbolic model checking with rich assertional languages., , , , and . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Complete Proof System for QPTL., and . J. Log. Comput., 12 (5): 701-745 (2002)A Complete Proof Systems for QPTL, and . LICS, page 2-12. IEEE Computer Society, (1995)Bridging the Gap between Fair Simulation and Trace Inclusion., , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 381-393. Springer, (2003)A Decision Algorithm for Full Propositional Temporal Logic., , , and . CAV, volume 697 of Lecture Notes in Computer Science, page 97-109. Springer, (1993)A compositional approach to CTL* verification., and . Theor. Comput. Sci., 331 (2-3): 397-428 (2005)Timed and Hybrid Statecharts and Their Textual Representation., and . FTRTFT, volume 571 of Lecture Notes in Computer Science, page 591-620. Springer, (1992)