( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.

, , и . LPAR, том 698 из Lecture Notes in Computer Science, стр. 86-97. Springer, (1993)

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.

Pablo Rauzy

Antoine Kahn

Antoine Derighetti

Rainer Antoine

Antoine Allam

 

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

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage., и . JFPLC, стр. 171-. (1994)Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization., и . ESOP, том 788 из Lecture Notes in Computer Science, стр. 180-194. Springer, (1994)Knowledge Extraction in Trivalued Propositional Logic.. ECSQARU, том 548 из Lecture Notes in Computer Science, стр. 287-291. Springer, (1991)Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms., , и . LPAR, том 698 из Lecture Notes in Computer Science, стр. 86-97. Springer, (1993)Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).. TACAS, том 1055 из Lecture Notes in Computer Science, стр. 417. Springer, (1996)Synchronization of Constrained Transition Systems., и . PASCO, стр. 54-62. World Scientific, (1994)Reliability Assessment of Phased-Mission Systems with AltaRica 3.0., , , и . ICSRS, стр. 400-407. IEEE, (2018)Safety Analysis of a Data Center's Electrical System Using Production Trees., , и . IMBSA, том 10437 из Lecture Notes in Computer Science, стр. 82-96. Springer, (2017)Toward an efficient implementation of the MOCUS algorithm.. IEEE Trans. Reliability, 52 (2): 175-180 (2003)A language proposition for system requirements., , и . SysCon, стр. 1-8. IEEE, (2017)