( 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.

Barbora Vymetalíková

Barbora Cierna

Barbora Kasanická

Barbora rámková

Barbora Lá ová

 

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

Partial Order Reduction for State/Event LTL., , , , , и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 307-321. Springer, (2009)Component-Interaction Automata Approach (CoIn)., , , , , и . CoCoME, том 5153 из Lecture Notes in Computer Science, стр. 146-176. Springer, (2007)Preface., и . FESCA@ETAPS, том 253 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2009)A Case Study in Parallel Verification of Component-Based Systems., , , , и . PDMC@ETAPS, том 220 из Electronic Notes in Theoretical Computer Science, стр. 67-83. Elsevier, (2008)Subject-observer specification with component-interaction automata., и . SAVCBS, стр. 75-81. ACM, (2007)Effective verification of systems with a dynamic number of components., , , и . SAVCBS, стр. 3-13. ACM, (2007)Component-interaction automata as a verification-oriented component-based system specification., , , и . SAVCBS@ESEC/FSE, стр. 4. ACM, (2005)Component Substitutability via Equivalencies of Component-Interaction Automata., , и . FACS, том 182 из Electronic Notes in Theoretical Computer Science, стр. 39-55. Elsevier, (2006)