Skip to content

Kenneth Jørgesen

  • M.Sc
  • 1PublicationsNumber of items in Kenneth's My Publications folder on Mendeley.

Research interests

Model CheckingTimed AuomataPetri NetsFormal Verification

Publications (1)

  • An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

    • Byg J
    • Jørgensen K
    • Srba J
    N/AReaders
    N/ACitations