( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generating graphical applications from state-transition visual specifications.

, , и . Int. J. Hum. Comput. Stud., 55 (6): 861-880 (2001)

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

Barbara Di Benedetto

Patrizia 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)Evaluating Fuzzy Controller Robustness Using Model Checking., , и . WILF, том 5571 из Lecture Notes in Computer Science, стр. 303-311. Springer, (2009)The Omega Rule is P11-Complete in the lambdabeta -Calculus., и . TLCA, том 4583 из Lecture Notes in Computer Science, стр. 178-193. Springer, (2007)Bounded Probabilistic Model Checking with the Muralpha Verifier., , , , и . FMCAD, том 3312 из Lecture Notes in Computer Science, стр. 214-229. Springer, (2004)Cost-optimal Strong Planning in Non-deterministic Domains., , , , и . ICINCO (1), стр. 56-66. SciTePress, (2011)Solution of a Problem of Barendregt on Sensible lambda-Theories, и . CoRR, (2006)Finite horizon analysis of Markov Chains with the Murphi verifier., , , , и . Int. J. Softw. Tools Technol. Transf., 8 (4-5): 397-409 (2006)