Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele. Counting Interface Automata and their Application in Static Analysis of Actor Models. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 106-116, IEEE Computer Society, 2005. [doi]
@inproceedings{WandelerJLT05,
title = {Counting Interface Automata and their Application in Static Analysis of Actor Models},
author = {Ernesto Wandeler and Jörn W. Janneck and Edward A. Lee and Lothar Thiele},
year = {2005},
doi = {10.1109/SEFM.2005.14},
url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.14},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/WandelerJLT05},
cites = {0},
citedby = {0},
pages = {106-116},
booktitle = {Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany},
editor = {Bernhard K. Aichernig and Bernhard Beckert},
publisher = {IEEE Computer Society},
isbn = {0-7695-2435-4},
}