( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Experimental Evaluation of a Planning Language Suitable for Formal Verification.

, , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2008)

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.

Adolf Radusch

Hans-Joachim Raduach

Florin Radu

Georgeta Radu

Konrad Radunski

 

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

New Metrics for Static Variable Ordering in Decision Diagrams., и . TACAS, том 3920 из Lecture Notes in Computer Science, стр. 90-104. Springer, (2006)Logical and Stochastic Modeling with SMART., , , и . Computer Performance Evaluation / TOOLS, том 2794 из Lecture Notes in Computer Science, стр. 78-97. Springer, (2003)Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths., и . FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 256-273. Springer, (2002)To Parallelize or to Optimize?, , и . J. Log. Comput., 21 (1): 85-120 (2011)Model-Checking the Linux Virtual File System., , , и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 74-88. Springer, (2009)Formal verification of the NASA runway safety monitor., и . Int. J. Softw. Tools Technol. Transf., 9 (1): 63-76 (2007)Model Checking with Edge-valued Decision Diagrams., и . NASA Formal Methods, том NASA/CP-2010-216215 из NASA Conference Proceedings, стр. 222-226. (2010)Experimental Evaluation of a Planning Language Suitable for Formal Verification., , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2008)The saturation algorithm for symbolic state-space exploration., , и . Int. J. Softw. Tools Technol. Transf., 8 (1): 4-25 (2006)A Formal Interactive Verification Environment for the Plan Execution Interchange Language., , , и . IFM, том 7321 из Lecture Notes in Computer Science, стр. 343-357. Springer, (2012)