Temporal Logic Can Be More Expressive

Pierre Wolper. Temporal Logic Can Be More Expressive. Inf. Comput., 56(1/2):72-99, January/February 1983.

Possibly Related Publications

The following publications are possibly variants of this publication: