 |
|
|||
@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}
}
