Jiri Srba

Publikationer

Publikationer pr. år 2003 2009 2011 2012 2013 2018 2019 2020 2021 2022 2023 2023

• 73 Konferenceartikel i proceeding
• 32 Tidsskriftartikel
• 16 Konferenceartikel i tidsskrift
• 8 Bidrag til bog/antologi
• 4 Mere
  • 1 Bog
  • 1 Forord/Indledning/efterskrift
  • 1 Poster
  • 1 Leder

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• Foreword

  Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (red.). ENTCS udg. Springer

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