Gleb Naumovich, Lori A. Clarke
Classifying properties: an alternative to the safety-liveness classification
FSE, 2000.
@inproceedings{FSE-2000-NaumovichC,
acmid = "355045.355066",
author = "Gleb Naumovich and Lori A. Clarke",
booktitle = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
pages = "159--168",
publisher = "{ACM}",
title = "{Classifying properties: an alternative to the safety-liveness classification}",
year = 2000,
}