СБ |
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Hung D. V.
- Sokolsky O.
|
|
21140 |
12.11.2020 |
СБ |
Distributed Computing and Internet Technology: Proc./16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Hung D. V.
- D'Souza M.
|
|
|
16.01.2020 |
СБ |
Theoretical Aspects of Computing - ICTAC 2017: Proc./14th International Colloquium, Hanoi, Vietnam, October 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Hung D. V.
- Kapur D.
|
|
|
08.11.2017 |