Static Analysis of Real-time Distributed Systems.

Leo Yuhsiang Liu R. K. Shyamasundar Static Analysis of Real-time Distributed Systems. 134-138 1988 conf/ftrtft/1988 FTRTFT db/conf/ftrtft/ftrtft1988.html#LiuS88