Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
Luca de Alfaro, Mariëlle StoelingaVolume:
97
Year:
2004
Language:
english
Pages:
21
DOI:
10.1016/j.entcs.2004.04.030
File:
PDF, 309 KB
english, 2004