Search Results - Jørgensen, Kenneth Yrke

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

    TCTL-preserving translations from timed-arc Petri nets to networks of timed automata by Byg, Joakim, Jacobsen, Morten, Jacobsen, Lasse, Jørgensen, Kenneth Yrke, Møller, Mikael Harkjær, Srba, Jiří

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: