• Selma Lagerløfs Vej 300, 1-2-14

    9220 Aalborg Ø

    Danmark

20032022

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
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 proceedingForord/Indledning/efterskriftForskning

    Å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 proceedingForord/Indledning/efterskriftForskning

    Å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 (Lecture Notes in Computer Science, Bind 11429).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingForord/Indledning/efterskriftForskning

    Åben adgang