A Model Checker for Linear Time Temporal Logic (1992)

by Michael Fisher
Venue:Formal Aspects of Computing