|
@inproceedings{WJLT05, author = {Ernesto Wandeler and Joern Janneck and Edward Lee and Lothar Thiele}, title = {Counting Interface Automata and their Application in Static Analysis of Actor Models}, address = {Koblenz, Germany}, booktitle = {3rd International Conference on Software Engineering and Formal Methods - SEFM 2005}, pages = {106--116}, month = {Sep}, year = {2005} }