From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Novel Probabilistic Model for Link Unification Grammar.

F. Weng, N. Jin, J. Meng, и Y. Zhu. IWPT, Tsinghua University Press, (2001)

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.

A Novel Probabilistic Model for Link Unification Grammar.F. Weng, N. Jin, J. Meng, и Y. Zhu. IWPT, Tsinghua University Press, (2001)Interface Specification Assurance Methods.N. Jin, и T. Ni. ISQED, стр. 269-274. IEEE Computer Society, (2007)Witness and Counter-Example on 3-Valued Model Checking.J. Guo, J. Han, и N. Jin. FSKD (2), стр. 633-637. IEEE Computer Society, (2008)978-0-7695-3305-6.Integrating Variants of DC.J. He, и N. Jin. ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 14-34. Springer, (2004)iPSL: An Environment for IP-Based PSL Specification.N. Jin, J. Zhou, и T. Ni. ICECCS, стр. 46-55. IEEE Computer Society, (2008)Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language.N. Jin, и J. He. SEFM, стр. 132-141. IEEE Computer Society, (2004)SVA and PSL Local Variables - A Practical Approach.R. Armoni, D. Fisman, и N. Jin. CAV, том 8044 из Lecture Notes in Computer Science, стр. 197-212. Springer, (2013)Dynamic Verifying The Properties of The Simple Subset of PSL.N. Jin, и C. Shen. TASE, стр. 229-240. IEEE Computer Society, (2007)Towards A Truly Concurrent Model for Processes Sharing Resources.N. Jin, и J. He. SEFM, стр. 231-239. IEEE Computer Society, (2005)