( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
May-Happen-in-Parallel Analysis for Priority-Based Scheduling.

, , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 18-34. Springer, (2013)

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.

Elvira Kraus

10-Jahres-Katamnese bei Alkoholkranken unter besonderer Berücksichtigung der Frauen. Uni Tübingen, (2009)

Elvira Greiner

Elvira Strangalies

Elvira Langbein

Elvira Unglehrt

 

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

A Deterministic Operational Semantics for Functional Logic Programs., , , , и . APPIA-GULP-PRODE, стр. 207-. Facultad de Informática, Universidad Politécnica de Madrid, (2002)On the Generation of Initial Contexts for Effective Deadlock Detection., , и . CoRR, (2017)Peak Cost Analysis of Distributed Systems., , и . SAS, том 8723 из Lecture Notes in Computer Science, стр. 18-33. Springer, (2014)Distilling Constraints in Zero-Knowledge Protocols., , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 430-443. Springer, (2022)Test Data Generation of Bytecode by CLP Partial Evaluation., , и . LOPSTR, том 5438 из Lecture Notes in Computer Science, стр. 4-23. Springer, (2008)Termination and Cost Analysis of Loops with Concurrent Interleavings., , , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 349-364. Springer, (2013)Test Case Generation of Actor Systems., , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 259-275. Springer, (2015)SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools., , , , , , , , и . STAF Workshops, том 10748 из Lecture Notes in Computer Science, стр. 367-374. Springer, (2017)Symbolic Execution of Concurrent Objects in CLP., , и . PADL, том 7149 из Lecture Notes in Computer Science, стр. 123-137. Springer, (2012)SACO: Static Analyzer for Concurrent Objects., , , , , , , и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 562-567. Springer, (2014)