Search Results - Keiren, Jeroen J.A.

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

    Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider by Hwong, Yi Ling, Keiren, Jeroen J.A., Kusters, Vincent J.J., Leemans, Sander, Willemse, Tim A.C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Extensible Proof Systems for Infinite-State Systems

    Extensible Proof Systems for Infinite-State Systems by Cleaveland, Rance, Keiren, Jeroen J. A.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

    An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation by Groote, Jan Friso, Jansen, David N., Keiren, Jeroen J. A., Wijs, Anton J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    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:
  5. 5
    Validation of supervisory control synthesis tool CIF using model checker mCRL2

    Validation of supervisory control synthesis tool CIF using model checker mCRL2 by Reniers, Michel, Keiren, Jeroen J.A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Games for Bisimulations and Abstraction

    Games for Bisimulations and Abstraction by David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Structural Analysis of Boolean Equation Systems

    Structural Analysis of Boolean Equation Systems by Keiren, Jeroen J. A., Reniers, Michel A., Willemse, Tim A. C.

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

Search Tools: