Thomas Deiß. An Approach to the Combination of Formal Description Techniques: Statecharts and TLA. In Keijiro Araki, Andy Galloway, Kenji Taguchi, editors, Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999. pages 231-250, Springer, 1999.
@inproceedings{Deiss99,
title = {An Approach to the Combination of Formal Description Techniques: Statecharts and TLA},
author = {Thomas Deiß},
year = {1999},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Deiss99},
cites = {0},
citedby = {0},
pages = {231-250},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999},
editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
publisher = {Springer},
isbn = {1-85233-107-0},
}