Author of the publication

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.

No persons found for author name Kesten, Yonit
add a person with the name Kesten, Yonit
 

Other publications of authors with the same name

A Complete Proof Systems for QPTL, and . LICS, page 2-12. IEEE Computer Society, (1995)Complete Proof System for QPTL., and . J. Log. Comput., 12 (5): 701-745 (2002)Network Invariants in Action., , , and . CONCUR, volume 2421 of Lecture Notes in Computer Science, page 101-115. Springer, (2002)Integration Graphs: A Class of Decidable Hybrid Systems., , , and . Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 179-208. Springer, (1992)Modularization and Abstraction: The Keys to Practical Formal Verification., and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 54-71. Springer, (1998)Algorithmic Verification of Linear Temporal Logic Specifications., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 1-16. Springer, (1998)Symbolic model checking with rich assertional languages., , , , and . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Verification of Clocked and Hybrid Systems., , and . Acta Inf., 36 (11): 837-912 (2000)Symbolic Model Checking with Rich ssertional Languages., , , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 424-435. Springer, (1997)Verifying Clocked Transition Systems., , and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 13-40. Springer, (1995)