I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Contracts, Games and Refinement:

Back, R.J.R. ; von Wright, J.
Electronic Notes in Theoretical Computer Science.  7 (1997)  - p. 20-33 , 1997
Link: https://doi.org/10.1016/s1571-0661(05)80464-5