Concepedia

M. T. Liu

MT

3

Publications

204

Citations

3

H-Index

1987

Active since

Affiliations

The Ohio State University(Current)

M. T. Liu is an author at The Ohio State University specializing in engineering, formal specification, and formal methods.

Top concepts

Publications per year

1987–1992

3

Publications

3

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

Fuchun Joseph Lin, P. M. Chu, M. T. Liu · 1987 · 105 citations

, , +21

Protocol verification using reachability analysis: the state space explosion problem and relief strategies

Fuchun Joseph Lin, P. M. Chu, M. T. Liu · ACM SIGCOMM Computer Communication Review · 1987 · 87 citations · Full text

, , +21

Register-insertion: A protocol for the next generation of ring local-area networks

Wael Hilal Bahaa-El-Din, M. T. Liu · Computer Networks and ISDN Systems · 1992 · 12 citations

, , +7

Rows per page

1–3 of 3