Automatisk Verifikation af store systemer

  • Lind-Nielsen, Jørn (PhD Student)
  • Andersen, Henrik Reif (Main Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/02/199707/09/2000