( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Semi-Markov Model of a Home Network Access Protocol.

. MASCOTS, стр. 293-298. The Society for Computer Simulation, (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.

Joost-Pieter Katoen

Pieter Wolter

Pieter Zwieten

Pieter Ploumen

Pieter Dingeldey

 

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

Spacecraft early design validation using formal methods., , , , , , , , и . Reliab. Eng. Syst. Saf., (2014)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , и . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)IC3 software model checking., , , и . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Automated Termination Analysis of Polynomial Probabilistic Programs., , , и . CoRR, (2020)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard., и . CoRR, (2014)Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , и . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)Code Generation = A* + BURS., , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)