( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Partial Order Reduction for State/Event LTL.

, , , , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2009)

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.

Algis Ivanauskas

Grigore Cernaianu

Johann Ivanauskas

Sylvia Cernakova

Raquel Cerna Lopez

 

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

Local Quantitative LTL Model Checking., , , , и . FMICS, том 5596 из Lecture Notes in Computer Science, стр. 53-68. Springer, (2008)A Case Study in Parallel Verification of Component-Based Systems., , , , и . PDMC@ETAPS, том 220 из Electronic Notes in Theoretical Computer Science, стр. 67-83. Elsevier, (2008)Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games., , , , , и . CoRR, (2014)LTL Model Checking of Parametric Timed Automata., , , , и . CoRR, (2014)Temporal logic motion planning using POMDPs with parity objectives: case study paper., , , , , , и . HSCC, стр. 233-238. ACM, (2015)Factorization for Component-Interaction Automata., , и . SOFSEM, том 7147 из Lecture Notes in Computer Science, стр. 554-565. Springer, (2012)Quantitative Model Checking of Systems with Degradation., , и . QEST, стр. 21-30. IEEE Computer Society, (2009)ProbDiVinE: A Parallel Qualitative LTL Model Checker., , , , и . QEST, стр. 215-216. IEEE Computer Society, (2007)Partial Order Reduction for State/Event LTL., , , , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2009)On verifying C++ programs with probabilities., , , , и . SAC, стр. 1238-1243. ACM, (2016)