Sciweavers

23
Voted
CSFW
1989
IEEE
15 years 7 months ago
Specifying Security Constraints with Relaxation Lattices
Maurice Herlihy, Jeannette M. Wing