Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

Laurent Ferier, Jean-François Raskin, Pierre Yves Schobbens. Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electronic Notes in Theoretical Computer Science, 23(2):108-126, 1999. [doi]

Abstract

Abstract is missing.