%0 Conference Proceedings
%F rusu97
%A Rusu, V.
%T Verifying periodic task-control systems
%B International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS
%P 63-69
%C Grenoble, France
%D 1997