( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Büchi Store: an open repository of ω-automata.

, , , , и . Int. J. Softw. Tools Technol. Transf., 15 (2): 109-123 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ming-Hsien Wong

Ming-Cheng Tsai

Tun-ming Tsai

Ming-tang Tsai

Ming-Jer Tsai

 

Другие публикации лиц с тем же именем

A New Approach for Serving Radio Network Controller Relocation in UMTS All-IP Network., , , и . INFOCOM, IEEE, (2004)Serving radio network controller relocation for UMTS all-IP network., , , и . IEEE J. Sel. Areas Commun., 22 (4): 617-629 (2004)Certified Verification for Algebraic Abstraction., , , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 329-349. Springer, (2023)Using an Interpolation Algorithm for VCR like Functions in Multimedia Communications., , и . ICDCS Workshops, стр. 55. IEEE Computer Society, (2006)A partition network model for ad hoc networks., , и . WiMob (3), стр. 467-472. IEEE, (2005)0-7803-9181-0.GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae., , , , и . TACAS, том 4424 из Lecture Notes in Computer Science, стр. 466-471. Springer, (2007)Verifying Arithmetic in Cryptographic C Programs., , , , и . ASE, стр. 552-564. IEEE, (2019)Verifying Curve25519 Software., , , , , , , и . CCS, стр. 299-309. ACM, (2014)Modified LC-tank ESD protection design for 60-GHz RF applications., , , , , , , , , и 1 other автор(ы). ECCTD, стр. 57-60. IEEE, (2011)Analysis and design of data transmission protocol for 1024-channel retinal prosthesis., , , и . EMBC, стр. 4010-4013. IEEE, (2011)