Article citationsMore>>

E. A. Emerson, “Temporal and modal logic [M],” Handbook of Theoretical Computer Science: Formal Models and Semantics, MIT press, pp. 995-1072, 1990.

has been cited by the following article:

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