@inproceedings{22c8c6a852754270bcaf32aff7a160f2,
title = "Templates and automation for temporal query generation",
keywords = "Architecture analysis & design language, Computation tree logic, Model checking",
author = "Hong Liu and Gluch, {David P.}",
year = "2006",
doi = "10.1145/1185448.1185467",
language = "English",
isbn = "1595933158",
series = "Proceedings of the Annual Southeast Conference",
pages = "80--84",
booktitle = "Proceedings of the 44th ACM Southeast Conference, ACMSE 2006",
note = "44th Annual ACM Southeast Conference, ACMSE 2006 ; Conference date: 10-03-2006 Through 12-03-2006",
}