Found: 2

Select item for more details and to access through your institution.

  • A sequential real-time refinement calculus.

    Published in:
    Acta Informatica, 2001, v. 37, n. 6, p. 385, doi. 10.1007/PL00013311
    By:
    • Hayes, Ian J.;
    • Utting, Mark
    Publication type:
    Article

  • Synchronized extension systems.

    Published in:
    Acta Informatica, 2001, v. 37, n. 6, p. 449, doi. 10.1007/PL00013310
    By:
    • Ţiplea, Ferucio Laurentiu;
    • Mäkinen, Erkki;
    • Apachite, Corina
    Publication type:
    Article