СБ |
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019 |
2020 |
|
Lecture Notes in Computer Science |
- Miao H.
- Tian C.
- Liu Sh.
- Duan Zh.
|
|
|
18.03.2020 |
СБ |
Computing and Combinatorics: Proc./25th International Conference, COCOON 2019, Xi'an, China, July 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Du D. -Zh.
- Duan Z.
- Tian C.
|
|
|
29.08.2019 |
СБ |
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 2016 |
2017 |
|
Lecture Notes in Computer Science |
- Liu S.
- Duan Z.
- Tian C.
- Nagoya F.
|
|
|
16.05.2017 |