( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking of security properties: A case study on Human-Robot Interaction processes.

, и . DTIS, стр. 1-6. IEEE, (2017)

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.

Anna Lena Drewes

Immunhistochemische Lokalisation Apoptose-assoziierter Proteine in gesunder Haut und bei Patienten mit chronischer venöser Insuffizienz. Uni Greifswald, (2009)

Anna-Lena Kranz

Anna-Lena Reich

Anna-Lena Klauke

Anna-Lena Meyer

 

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

Preface., , , и . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2021)Foundations of Semantics and Model Checking in a Software Engineering Course., , и . FMSEE&T@FM, том 1385 из CEUR Workshop Proceedings, стр. 19-26. CEUR-WS.org, (2015)Modeling Directly Executable Processes for Healthcare Professionals with XMDD., , , и . Service Business Model Innovation in Healthcare and Hospital Management, Springer, (2017)Toward Research Software Categories., , , , , , , , и . CoRR, (2024)The Course's SIB Libraries., и . Process Design for Natural Scientists, том 500 из Communications in Computer and Information Science, Springer, (2014)Lessons Learned., , и . Process Design for Natural Scientists, том 500 из Communications in Computer and Information Science, Springer, (2014)jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows., и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 449-463. Springer, (2014)Automated workflow composition in mass spectrometry-based proteomics., , , и . Bioinform., 35 (4): 656-664 (2019)Introduction to the special issue on "Software Business"., и . J. Syst. Softw., (2018)User-Level Workflow Design - A Bioinformatics Perspective.. Lecture Notes in Computer Science Springer, (2013)