Verifikation af parallelle systemer

  • Nyblad, Kasten (PhD Student)
  • Sharp, Robin (Main Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/02/199221/05/1999