Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Wang, Chao, 1985-
1 2018 Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings ATVA (Symposium) (16th : 2018 : Los Angeles, Calif.) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
2 2020 Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. CAV (Conference) (32nd : 2020 : Los Angeles, Calif.) Cham, Switzerland : Springer, [2020] Rating: Electronic Resources More...
3 2020 Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings. CAV (Conference) (32nd : 2020 : Los Angeles, Calif.) Cham, Switzerland : Springer, [2020] Rating: Electronic Resources More...
4 2017 High performance computing for big data : methodologies and applications First edition Boca Raton, FL : CRC Press, 2017 Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings