From post

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

Reverse Observation Equivalence Between Labelled State Transition Systems.

Y. Wen, J. Wang, и Z. Qi. ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2004)

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.

2/3 Alternating Simulation Between Interface Automata.Y. Wen, J. Wang, и Z. Qi. ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 173-187. Springer, (2005)Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction.Y. Wen, и J. Wang. SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 3-12. Springer, (2019)Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata.Y. Wen, J. Wang, и Z. Qi. ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 259-273. Springer, (2004)Analyzing Math Library Functions via Summarization.J. Jiang, L. Chen, Y. Wen, W. Dong, и L. Wen. QRS Companion, стр. 259-264. IEEE, (2016)Reverse Observation Equivalence Between Labelled State Transition Systems.Y. Wen, J. Wang, и Z. Qi. ICTAC, том 3407 из Lecture Notes in Computer Science, стр. 204-219. Springer, (2004)Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.X. Wu, Y. Wen, L. Chen, W. Dong, и J. Wang. SERE (Companion), стр. 204-210. IEEE, (2013)