Decidability in Syntactic Control of Interference

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/11523468_73 ◽

2005 ◽

pp. 904-916

Author(s):

J. Laird

Download Full-text