Now showing items 1-7 of 1

    EPSRC GR/M/02583 (1)
    HRT-HOOD (1)
    interval temporal logic (1)
    object-based (1)
    refinement calculus (1)
    temporal agent model (1)
    wide spectrum language (1)