( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
STeP: The Stanford Temporal Prover.

, , , , , , , , , , и . TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 793-794. Springer, (1995)

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.

Gerald Browne

Tibor Attila Anca

Anca erbescu

Chain order and dynamics in polymer melts. Uni Freiburg, (2009)

Alexandru tefan Anca

Andrés Anca Couce

 

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

Verifying temporal properties of reactive systems: A STeP tutorial, , , , , , и . FORMAL METHODS IN SYSTEM DESIGN, стр. 2000. (2000)Automatic Generation of Invariants and Assertions., , и . CP, том 976 из Lecture Notes in Computer Science, стр. 589-623. Springer, (1995)STeP: The Stanford Temporal Prover., , , , , , , , , и 1 other автор(ы). TAPSOFT, том 915 из Lecture Notes in Computer Science, стр. 793-794. Springer, (1995)An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems., , , , , , , и . Tool Support for System Specification, Development and Verification, стр. 174-188. Springer, (1998)An Improved Algorithm for the Evaluation of Fixpoint Expressions., , , , и . CAV, том 818 из Lecture Notes in Computer Science, стр. 338-350. Springer, (1994)Visual Abstractions for Temporal Verification., , , и . AMAST, том 1548 из Lecture Notes in Computer Science, стр. 28-41. Springer, (1998)STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems., , , , , , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 415-418. Springer, (1996)A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , и . CAAP, том 431 из Lecture Notes in Computer Science, стр. 103-116. Springer, (1990)Linking STeP with SPIN., , и . SPIN, том 1885 из Lecture Notes in Computer Science, стр. 181-186. Springer, (2000)Generalized Temporal Verification Diagrams., , и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 484-498. Springer, (1995)