Expressiveness of verifiable hierarchical clock systems

Moon Ho Hwang, Bernard P. Zeigler. Expressiveness of verifiable hierarchical clock systems. Int. J. General Systems, 37(4):391-413, 2008. [doi]

Abstract

Abstract is missing.