Previous Article Next Article Table of Contents IEEE Transactions on Automatic Control, Vol.44, No.4, 886-886, 1999 DOI10.1109/TAC.1999.754841 Export Citation A method for the synthesis of controllers to handle safety, liveness, and real-time constraints (vol 43, pg 1543, 1998) Barbeau M, Kabanza F, St-Denis R Please enable JavaScript to view the comments powered by Disqus.
