L.P.M. Benders, "TL: A System-Level Specification Language for System Analysis," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 244, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996.

@article{ 10.1109/ECBS.1996.494535,
author = {L.P.M. Benders},
title = {TL: A System-Level Specification Language for System Analysis},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {1996},
isbn = {0-8186-7355-9},
pages = {244},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494535},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - TL: A System-Level Specification Language for System Analysis
SN - 0-8186-7355-9
SP
EP
A1 - L.P.M. Benders,
PY - 1996
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -