Representing a System Specification with a Temporal Dimension in an Object-Oriented Language.

Anders Oelmann

Browse the full CaiSE paper archive.