Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jun XIE

A Noninterference Model for Nondeterministic Systems

Ruan Jian Xue Bao/Journal of Software

English