Salamah Salamah, Ann Q. Gates, Steve Roach. Improving Pattern-Based LTL Formulas for Automata Model Checking. In Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA. pages 9-14, IEEE Computer Society, 2008. [doi]
@inproceedings{SalamahGR08,
title = {Improving Pattern-Based LTL Formulas for Automata Model Checking},
author = {Salamah Salamah and Ann Q. Gates and Steve Roach},
year = {2008},
doi = {10.1109/ITNG.2008.228},
url = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2008.228},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SalamahGR08},
cites = {0},
citedby = {0},
pages = {9-14},
booktitle = {Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA},
publisher = {IEEE Computer Society},
}