( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
STP: A Mechanized Logic for Specification and Verification.

, , и . CADE, том 138 из Lecture Notes in Computer Science, стр. 32-49. Springer, (1982)

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.

Mitchell P Smith

Daniel P Smith

Patrick M P Prokopczuk

Constantin P M Kahn

Constantin P M Kahn

 

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

Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector., , и . OPODIS, стр. 61-76. Hermes, (1997)Live Upgrade Techniques for CORBA Applications., , и . DAIS, том 198 из IFIP Conference Proceedings, стр. 257-271. Kluwer, (2001)PAL: A Language for Parallel Asynchronous Computation., , и . ICPP (2), стр. 166-173. CRC Press, (1992)Probabilistic Analysis of Message Forwarding., и . ICCCN, стр. 1-8. IEEE, (2013)Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System., , , и . Comput. J., 59 (10): 1492-1510 (2016)Interception in the Aroma system., , и . Java Grande, стр. 107-115. ACM, (2000)Corrigendum to "Peer-to-Peer Publication, Search and Retrieval Using the Android Mobile Platform" Computer Networks 65(2014) 56-72., , , и . Comput. Networks, (2016)An automata-theoretic decision procedure for propositional temporal logic with since and until., , , , и . Fundam. Informaticae, 17 (3): 271-282 (1992)Broadcast Protocols for Distributed Systems., , и . IEEE Trans. Parallel Distributed Syst., 1 (1): 17-25 (1990)Axiomatizations of Interval Logics., , , , и . Fundam. Informaticae, 24 (4): 313-331 (1995)