Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.

Ryosei Mori Naoki Yonezaki Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. 567-582 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#MoriY94