You are about to access our book library "Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827) full version" .