( en | de | ru )

 

Disambiguierung von "Gribomont, E. Pascal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Atomicity Refinement and Trace Reduction Theorems.

. CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 311-322. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pascal Vogel

Pascal Schneider

Pascal Siegers

Pascal Blümmel

Pascal Häller

 

Weitere Publikationen von Autoren mit dem selben Namen

A Programming Logic for Formal Concurent Systems.. CONCUR, Volume 458 von Lecture Notes in Computer Science, Seite 298-313. Springer, (1990)Atomicity Refinement and Trace Reduction Theorems.. CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 311-322. Springer, (1996)Automated Verification of Szymanski's Algorithm., und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 424-438. Springer, (1998)Concurrency Without Toil: A Systematics Method for Parallel Program Design.. Sci. Comput. Program., 21 (1): 1-56 (1993)Epistemic logic., und . Logic and the Modalities in the Twentieth Century, Volume 7 von Handbook of the History of Logic, Elsevier, (2006)Using BDDs with Combinations of Theories., und . LPAR, Volume 2514 von Lecture Notes in Computer Science, Seite 190-201. Springer, (2002)Stepwise Refinement and Concurrency: The Finite-State Case.. Sci. Comput. Program., 14 (2-3): 185-228 (1990)Reactive Variables for System Specification and Design., und . STACS, Volume 775 von Lecture Notes in Computer Science, Seite 275-286. Springer, (1994)CAVEAT: Technique and Tool for Computer Aided VErification And Transformation., und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 70-83. Springer, (1995)Proving Systolic Arrays.. CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 185-199. Springer, (1988)