|
СБ |
Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Xue J.
- Nagoya F.
- Liu Sh.
- Duan Zh.
|
|
|
20.08.2021 |
|
СБ |
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 |
|
СБ |
Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017 |
2018 |
|
Lecture Notes in Computer Science |
- Tian C.
- Nagoya F.
- Liu S.
- Duan Zh.
|
|
|
31.05.2018 |
|
СБ |
Theory and Applications of Models of Computation: Proc./5th International Conference, TAMC 2008. Xi an, China, April 2008 |
2008 |
|
Lecture Notes in Computer Science |
- Agrawal M.
- Du D.
- Duan Zh.
- Li A.
|
|
|
07.06.2008 |
