Billede af Marius Mikučionis

Vis Scopus-profil

Marius Mikučionis

Specialkonsulent

 https://orcid.org/0000-0001-8157-5428

  • Selma Lagerløfs Vej 300, 2-2-59

    9220 Aalborg Øst

    Danmark

20032025

Publikationer pr. år

Filter
Forord/Indledning/efterskrift

Søgeresultater

  • 2019

    Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengál, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Springer, Bind 11428 LNCS. s. vii-ix (Lecture Notes in Computer Science, Bind 11428).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang

  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. Springer, Bind 11427 LNCS. s. vi-viii (Lecture Notes in Computer Science, Bind 11427).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang

  • TACAS Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Springer, Bind 11429 LNCS. s. vii-ix 3 s. (Lecture Notes in Computer Science, Bind 11429).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Forord/Indledning/efterskrift › Forskning

    Åben adgang