Xudong He, Yingjia Ding. A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets. In Jan van Leeuwen, editor, Algorithms, Software, Architecture - Information Processing 92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-12 of IFIP Transactions, pages 127-133, North-Holland, 1992.
Abstract is missing.