Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems

@article{Alfaro2004InterfacesAG,
  title={Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems},
  author={Luca de Alfaro and Mari{\"e}lle Stoelinga},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2004},
  volume={97},
  pages={3-23}
}
BLOCKIN BLOCKINÒ º κ 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…