Article citationsMore>>

Pnueli, A. (1977) The Temporal Logic of Programs. Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, Providence, 31 October-2 Novemver 1977, 46-67
https://doi.org/10.1109/SFCS.1977.32

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top