The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.

Noriaki Yoshiura

Browse the full ACIIDS paper archive.