( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Exploiting Hub States in Automatic Verification.

, , , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 54-68. Springer, (2005)

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.

Benedetto Risio

Patrizia Di Benedetto

Barbara Di Benedetto

Benedetto Daniele Giaimo

Sascha Magnus Benedetto Castro

 

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

A PDDL+ Benchmark Problem: The Batch Chemical Plant., , , и . ICAPS, стр. 222-225. AAAI, (2010)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 202-219. Springer, (2002)The Omega Rule is II_2^0-Hard in the lambda beta -Calculus., и . LICS, стр. 202-210. IEEE Computer Society, (2004)Solution of a Problem of Barendregt on Sensible lambda-Theories, и . CoRR, (2006)Bounded Probabilistic Model Checking with the Muralpha Verifier., , , , и . FMCAD, том 3312 из Lecture Notes in Computer Science, стр. 214-229. Springer, (2004)The Omega Rule is P11-Complete in the lambdabeta -Calculus., и . TLCA, том 4583 из Lecture Notes in Computer Science, стр. 178-193. Springer, (2007)Evaluating Fuzzy Controller Robustness Using Model Checking., , и . WILF, том 5571 из Lecture Notes in Computer Science, стр. 303-311. Springer, (2009)Finite horizon analysis of Markov Chains with the Murphi verifier., , , , и . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 397-409 (2006)Cost-optimal Strong Planning in Non-deterministic Domains., , , , и . ICINCO (1), стр. 56-66. SciTePress, (2011)