I-En Liao
Ohio State Univ., Columbus
Selected M-Related Dissertations Bibliography
ACM SIGART Bulletin
Research: Probabilistic fuzzy timed protocol verification
Computer Communications