About this scholarly article

On Characterization of Safety and Liveness Properties in Temporal Logic is a scholarly article available to read on EtoBox.