( en | de | ru )

 

Disambiguation of "Intrigila, Benedetto"

Author of the publication

copydeleteadd this publication to your clipboard
Exploiting Transition Locality in the Disk Based Mur phi Verifier.

, , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 202-219. Springer, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

Benedetto Risio

Barbara Di Benedetto

Patrizia Di Benedetto

Benedetto Daniele Giaimo

Sascha Magnus Benedetto Castro

 

Other publications of authors with the same name

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