Additional Metadata
THEME Software (theme 1)
Publisher ACM
Persistent URL dx.doi.org/10.1145/1529282.1529587
Conference Annual ACM Symposium on Applied Computing
Citation
C. (born Köhler, , C.) Krause, ,, & Clarke, D.G. (2009). Decomposing port automata. In Proceedings of Annual ACM Symposium on Applied Computing 2009 (pp. 1369–1373). ACM. doi:10.1145/1529282.1529587