Authors: PELED D WILKE T WOLPER P

Citation: D. Peled et al., AN ALGORITHMIC APPROACH FOR CHECKING CLOSURE-PROPERTIES OF TEMPORAL LOGIC SPECIFICATIONS AND OMEGA-REGULAR LANGUAGES, Theoretical computer science, 195(2), 1998, pp. 183-203

Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P

Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625

Authors: KABANZA F STEVENNE JM WOLPER P

Citation: F. Kabanza et al., HANDLING INFINITE TEMPORAL DATA, Journal of computer and system sciences, 51(1), 1995, pp. 3-17

Authors: VARDI MY WOLPER P

Citation: My. Vardi et P. Wolper, REASONING ABOUT INFINITE COMPUTATIONS, Information and computation, 115(1), 1994, pp. 1-37

Authors: GODEFROID P WOLPER P

Citation: P. Godefroid et P. Wolper, A PARTIAL APPROACH TO MODEL CHECKING, Information and computation, 110(2), 1994, pp. 305-326