Verification of Large State Machines

  • Staunstrup, Jørgen (Project Manager)

    Project Details

    StatusFinished
    Effective start/end date01/03/199727/02/1999