Characterization of Temporal Property Classes

著者: Edward Y. Chang, Zohar Manna, Amir Pnueli - Lecture notes in computer science 1992 被引用: 96