1. Model Theory;Chang,1973
2. Temporal Logic of Programs;Kröger,1987
3. Abstract modules: Combining algebraic and temporal logic specification means;Kröger;Techniques Sci. Inform.,1987
4. Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends;Pnueli,1986
5. Petri-Netze und Temporale Logik;Schütz,1985