Temporal Verification of Reactive Systems

著者: Zohar Manna, Amir Pnueli - 1995 被引用: 815