On the expressive power of temporal logic

Journal of Computer and System Sciences 1993 Vol. 46; Iss. 3

On the expressive power of temporal logic

Joëlle Cohen, Dominique Perrin, Jean-Eric Pin
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
46
Year:
1993
Language:
english
Pages:
24
DOI:
10.1016/0022-0000(93)90005-h
File:
PDF, 1.28 MB
english, 1993
Conversion to is in progress
Conversion to is failed