|
Volumn , Issue , 1999, Pages 443-452
|
Non-deterministic games and program analysis: an application to security
|
Author keywords
[No Author keywords available]
|
Indexed keywords
FORMAL LANGUAGES;
FORMAL LOGIC;
GAME THEORY;
GRAPH THEORY;
PROGRAM DIAGNOSTICS;
SECURITY OF DATA;
STORAGE ALLOCATION (COMPUTER);
GAME SEMANTICS;
LINEAR LOGIC;
NONDETERMINISTIC GAMES;
PROGRAM ANALYSIS;
COMPUTATIONAL LINGUISTICS;
|
EID: 0032597492
PISSN: None
EISSN: None
Source Type: Journal
DOI: None Document Type: Article |
Times cited : (22)
|
References (0)
|