( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Change of Perspective Yields Formal Analysis.

, , , и . SEW, стр. 69-76. IEEE Computer Society, (2011)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Horst Smolka

Brigitte Smolka

 

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

Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts., , , , , , , , , и 1 other автор(ы). CinC, стр. 1-4. IEEE, (2021)Metis: File System Model Checking via Versatile Input and State Exploration., , , , , , , и . FAST, стр. 123-140. USENIX Association, (2024)Algebraic Reasoning for Probabilistic Concurrent Systems., , и . Programming Concepts and Methods, стр. 443-458. North-Holland, (1990)Polynomial-Time Analysis for a Class of Communicating processes.. Symposium on Programming, том 167 из Lecture Notes in Computer Science, стр. 250-262. Springer, (1984)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., и . PODC, стр. 23-38. ACM, (1985)A Simplex Architecture for Hybrid Systems Using Barrier Certificates., , , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 117-131. Springer, (2017)A Process-Algebraic Language for Probabilistic I/O Automata., , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 189-203. Springer, (2003)Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes., и . CONCUR, том 458 из Lecture Notes in Computer Science, стр. 367-383. Springer, (1990)Local Model Checking for Real-Time Systems (Extended Abstract)., и . CAV, том 939 из Lecture Notes in Computer Science, стр. 211-224. Springer, (1995)The Concurrency Factory: A Development Environment for Concurrent Systems., , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 398-401. Springer, (1996)