Now showing items 1-9 of 2

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