Expressive power & complexity of Temporal logics for Model checking

  • Gore, Rajeev (PI)

    Project: Research

    Project Details

    StatusFinished
    Effective start/end date1/07/0331/12/03

    Funding

    • Embassy of France (Ambassade de France): A$8,600.00