Search Results - Cranen, Sjoerd

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    A linear translation from CTL to the first-order modal μ -calculus

    A linear translation from CTL to the first-order modal μ -calculus by Cranen, Sjoerd, Groote, Jan Friso, Reniers, Michel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Parity game reductions

    Parity game reductions by Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

    Published in Acta informatica
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Abstraction in Fixpoint Logic

    Abstraction in Fixpoint Logic by Cranen, Sjoerd, Gazda, Maciej, Wesselink, Wieger, Willemse, Tim A. C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems

    Global schedulability analysis of a synchronization protocol based on replenishment-bounded overrun for compositional real-time systems by Cranen, Sjoerd, Bril, R. J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Stuttering Equivalence for Parity Games

    Stuttering Equivalence for Parity Games by Cranen, Sjoerd, Keiren, Jeroen J A, Willemse, Tim A C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: