MPG.eBooks - Author Search Results

Cover Image

1

Light Alloys and High-Temperature Alloys

by Zhang, Lijun
Published 2022

MDPI - Multidisciplinary Digital Publishing Institute

Other Authors: “...Zhang, Lijun...”

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2019

Springer International Publishing

Other Authors: “...Zhang, Lijun...”

Cover Image

3

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2019

Springer International Publishing

Other Authors: “...Zhang, Lijun...”

Cover Image

4

Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Published 2020

Springer International Publishing

Other Authors: “...Zhang, Lijun...”

Cover Image

5

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Published 2015

Springer International Publishing

Other Authors: “...Zhang, Lijun...”