Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou. Software Architecture Directed Behaviour Analysis. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 144-146, IEEE Computer Society, 1998. [doi]
@inproceedings{MageeKG98, title = {Software Architecture Directed Behaviour Analysis}, author = {Jeff Magee and Jeff Kramer and Dimitra Giannakopoulou}, year = {1998}, url = {https://dl.acm.org/doi/10.5555/857205.858306}, researchr = {https://researchr.org/publication/MageeKG98}, cites = {0}, citedby = {0}, pages = {144-146}, booktitle = {Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998}, publisher = {IEEE Computer Society}, isbn = {978-0-8186-8439-5}, }