Phillip Baraona, Perry Alexander. Representing abstract architectures with axiomatic specifications and activation conditions. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 161-168, IEEE Computer Society, 1997. [doi]
@inproceedings{BaraonaA97,
title = {Representing abstract architectures with axiomatic specifications and activation conditions},
author = {Phillip Baraona and Perry Alexander},
year = {1997},
url = {http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890161abs.htm},
tags = {architecture},
researchr = {https://researchr.org/publication/BaraonaA97},
cites = {0},
citedby = {0},
pages = {161-168},
booktitle = {1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA},
publisher = {IEEE Computer Society},
}