Reasoning about Infinite Computation Paths (Extended Abstract)

Pierre Wolper, Moshe Y. Vardi, A. Prasad Sistla

Browse the full FOCS paper archive.