Now You May Compose Temporal Logic Specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Browse the full STOC paper archive.