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) full version" .