( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
General Distributions in Process Algebra.

, и . European Educational Forum: School on Formal Methods and Performance Analysis, том 2090 из Lecture Notes in Computer Science, стр. 375-430. Springer, (2000)

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

 

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

Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)IC3 software model checking., , , и . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2016)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , и . CoRR, (2020)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , и . UAI, стр. 519-529. AUAI Press, (2018)Various Ways to Quantify BDMPs., , , и . MARS@ETAPS, том 316 из EPTCS, стр. 1-14. (2020)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , и . MBMV, Universität Tübingen, (2018)Automated Termination Analysis of Polynomial Probabilistic Programs., , , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 491-518. Springer, (2021)Exponentially timed SADF: Compositional semantics, reductions, and analysis., и . EMSOFT, стр. 1:1-1:10. ACM, (2014)Simple Strategies in Multi-Objective MDPs., , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 346-364. Springer, (2020)