"Representing a System Specification with a Temporal Dimension in an ..."

Anders Oelmann (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics