Works matching IS 00015903 AND DT 2001 AND VI 37 AND IP 6

Results: 2

    • 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