Skip to main content


Export 1 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is N  [Clear All Filters]
A B C D E F G H I J K L M [N] O P Q R S T U V W X Y Z   [Show ALL]
Naumovich, G., and L. A. Clarke, "Classifying Properties: an Alternative to the Safety-Liveness Classification", Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering: 21st Century Applications: ACM Press, pp. 159-168, 2000.