L. P. M. Benders. TL: A System-Level Specification Language for System Analysis. In IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 96), March 11-15, 1996, Friedrichshafen, Germany. pages 244-251, IEEE Computer Society, 1996. [doi]
@inproceedings{Benders96,
title = {TL: A System-Level Specification Language for System Analysis},
author = {L. P. M. Benders},
year = {1996},
url = {http://csdl.computer.org/dl/proceedings/ecbs/1996/7355/00/73550244.pdf},
tags = {analysis},
researchr = {https://researchr.org/publication/Benders96},
cites = {0},
citedby = {0},
pages = {244-251},
booktitle = {IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS 96), March 11-15, 1996, Friedrichshafen, Germany},
publisher = {IEEE Computer Society},
}