( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed and Hybrid Statecharts and Their Textual Representation.

, и . FTRTFT, том 571 из Lecture Notes in Computer Science, стр. 591-620. Springer, (1992)

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.

Anke Kesten

Dagmar Kesten

Ernst Kesten

Sigrid Kesten

Walter Kesten

 

Другие публикации лиц с тем же именем

Verification by Augmented Abstraction: The Automata-Theoretic View., , и . J. Comput. Syst. Sci., 62 (4): 668-690 (2001)Timed and Hybrid Statecharts and Their Textual Representation., и . FTRTFT, том 571 из Lecture Notes in Computer Science, стр. 591-620. Springer, (1992)A Deductive Proof System for CTL., и . CONCUR, том 2421 из Lecture Notes in Computer Science, стр. 24-40. Springer, (2002)Bridging the Gap between Fair Simulation and Trace Inclusion., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 381-393. Springer, (2003)A Decision Algorithm for Full Propositional Temporal Logic., , , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 97-109. Springer, (1993)Network Invariants in Action., , , и . CONCUR, том 2421 из Lecture Notes in Computer Science, стр. 101-115. Springer, (2002)Symbolic model checking with rich assertional languages., , , , и . Theor. Comput. Sci., 256 (1-2): 93-112 (2001)Algorithmic Verification of Linear Temporal Logic Specifications., , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 1-16. Springer, (1998)Modularization and Abstraction: The Keys to Practical Formal Verification., и . MFCS, том 1450 из Lecture Notes in Computer Science, стр. 54-71. Springer, (1998)A Complete Proof Systems for QPTL, и . LICS, стр. 2-12. IEEE Computer Society, (1995)