Search Results - Amjad, Rayhana

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Semantics for Linear-time Temporal Logic with Finite Observations

    Semantics for Linear-time Temporal Logic with Finite Observations by Amjad, Rayhana, van Glabbeek, Rob, O'Connor, Liam

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Semantics for Linear-time Temporal Logic with Finite Observations

    Semantics for Linear-time Temporal Logic with Finite Observations by Rayhana Amjad, Rob van Glabbeek, O'Connor, Liam

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Holbert: Reading, Writing, Proving and Learning in the Browser

    Holbert: Reading, Writing, Proving and Learning in the Browser by O'Connor, Liam, Rayhana Amjad

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

Search Tools: