( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Atomicity Refinement and Trace Reduction Theorems.

. CAV, том 1102 из Lecture Notes in Computer Science, стр. 311-322. Springer, (1996)

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.

Pascal Siegers

Pascal Schneider

Pascal Vogel

Pascal Häller

Pascal Bastian

 

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

Concurrency Without Toil: A Systematics Method for Parallel Program Design.. Sci. Comput. Program., 21 (1): 1-56 (1993)A Programming Logic for Formal Concurent Systems.. CONCUR, том 458 из Lecture Notes in Computer Science, стр. 298-313. Springer, (1990)Atomicity Refinement and Trace Reduction Theorems.. CAV, том 1102 из Lecture Notes in Computer Science, стр. 311-322. Springer, (1996)Automated Verification of Szymanski's Algorithm., и . TACAS, том 1384 из Lecture Notes in Computer Science, стр. 424-438. Springer, (1998)From Synchronous to Asynchronous Communication.. Specification and Verification of Concurrent Systems, стр. 368-383. Springer, (1988)CAVEAT: Technique and Tool for Computer Aided VErification And Transformation., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 70-83. Springer, (1995)Proving Systolic Arrays.. CAAP, том 299 из Lecture Notes in Computer Science, стр. 185-199. Springer, (1988)Reactive Variables for System Specification and Design., и . STACS, том 775 из Lecture Notes in Computer Science, стр. 275-286. Springer, (1994)Synthesis of Parallel Programs Invariants.. TAPSOFT, Vol.2, том 186 из Lecture Notes in Computer Science, стр. 325-338. Springer, (1985)Epistemic logic., и . Logic and the Modalities in the Twentieth Century, том 7 из Handbook of the History of Logic, Elsevier, (2006)