Ulrik Nyman

Publikationer

Publikationer pr. år 2003 2010 2012 2014 2015 2017 2018 2022 2023 2024

• 36 Konferenceartikel i proceeding
• 14 Tidsskriftartikel
• 5 Konferenceartikel i tidsskrift
• 3 Bog
• 11 Mere
  • 3 Working paper
  • 2 Bidrag til bog/antologi
  • 1 Rapport
  • 1 Forord/Indledning/efterskrift
  • 1 Konferenceabstrakt til konference
  • 1 Review (oversigtsartikel)
  • 1 Ph.d.-afhandling
  • 1 Preprint

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

  Timed I/O Automata: It is never too late to complete your timed specification theory

  Goorden, M. A., Larsen, K. G., Legay, A., Lorber, F., Nyman, U. & Wasowski, A., 2023, arXiv.

  Publikation: Working paper/Preprint › Preprint

  Åben adgang

  Fil
  16 Downloads (Pure)