Tools and Algorithms for the Construction and Analysis of Systems Zhang Lijun Innbundet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Zhang Lijun Heftet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Zhang Lijun Innbundet / 2020 / Engelsk
Tools and Algorithms for the Construction and Analysis of Systems Zhang Lijun Heftet / 2020 / Engelsk
Living in Heritage Tulou as Vernacular Architecture, Global Asset, and Tourist Destination in Contemporary China Zhang Lijun Heftet / 2024 / Engelsk
Living in Heritage Tulou as Vernacular Architecture, Global Asset, and Tourist Destination in Contemporary China Zhang Lijun Innbundet / 2024 / Engelsk
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I Vojnar, Tomáš Heftet / 2019 / Engelsk
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II Vojnar, Tomáš Heftet / 2019 / Engelsk
Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings Pang Jun Heftet / 2020 / Engelsk
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Finkbeiner Bernd Heftet / 2015 / Engelsk
