%0 Conference Proceedings
%F ep-atr95
%A Project, EP-ATR
%T Signal: a formal design environment for real time systems
%B Proceedings of the 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, AA arhus, Denmark
%S Lecture Notes in Computer Science 915
%I Springer-Verlag
%8 May
%D 1995