20032025

Research activity per year

Filter
Preface/Introduction/postscript

Search results

  • 2019

    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, Vol. 11427 LNCS. p. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
  • 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, Vol. 11428 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access
  • 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, Vol. 11429 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science, Vol. 11429).

    Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

    Open Access