Erik Herzog, Anders Törne. Support for Representation of Functional Behavior Specifications in AP-233. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 351-358, IEEE Computer Society, 2000. [doi]
@inproceedings{HerzogT00,
title = {Support for Representation of Functional Behavior Specifications in AP-233},
author = {Erik Herzog and Anders Törne},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040351abs.htm},
researchr = {https://researchr.org/publication/HerzogT00},
cites = {0},
citedby = {0},
pages = {351-358},
booktitle = {7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society},
isbn = {0-7695-0604-6},
}