( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Code Generation = A* + BURS.

, , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)

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 Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

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

Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)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)IC3 software model checking., , , и . Int. J. Softw. Tools Technol. Transf., 22 (2): 135-161 (2020)Out of Control: Reducing Probabilistic Models by Control-State Elimination., , и . CoRR, (2020)Code Generation = A* + BURS., , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)Tweaking the Odds in Probabilistic Timed Automata., , , и . QEST, том 12846 из Lecture Notes in Computer Science, стр. 39-58. Springer, (2021)POMDP Controllers with Optimal Budget., , и . QEST, том 13479 из Lecture Notes in Computer Science, стр. 107-130. Springer, (2022)Latticed k-Induction with an Application to Probabilistic Programs., , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 524-549. Springer, (2021)