Luis Garc?, Steve Roach, "Model-Checker-Based Testing of LTL Specifications," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 417-418, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007.

@article{ 10.1109/HASE.2007.34,
author = {Luis Garc? and Steve Roach},
title = {Model-Checker-Based Testing of LTL Specifications},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2007},
issn = {1530-2059},
pages = {417-418},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Model-Checker-Based Testing of LTL Specifications
SN - 1530-2059
SP417
EP418
A1 - Luis Garc?,
A1 - Steve Roach,
PY - 2007
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -