公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1989 | An Interval Logic for Reasoning about Timing Properties of Computer Communication Protocols | Shen, M.; Lei, C. L.; Chang, C. C. | 27th Allerton Conf. on Communication, Control, and Computing | |||
2013 | Thermodynamical properties in spontaneous optical pattern formations | Shen, M.; Lin, Y.; Yang, W.-X.; Jeng, C.-C.; Shih, M.-F.; Lee, R.-K.; MING-FENG SHIH | Pacific Rim Conference on Lasers and Electro-Optics | 0 | 0 |