Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)Bernard Boigelot, Patrice Godefroid (auth.) & 2 more1996PDF
2020 35th Youth Academic Annual Conference of Chinese Association of Automation (YAC)Wang, Jinsheng & 4 more2020PDF
Computer Science and its Applications: CSA 2012Norazah Abd Aziz, Putri Shahnim Khalid (auth.) & 4 more2012PDF
2020 IEEE 2nd International Conference on Civil Aviation Safety and Information TechnologyZhang, Lin & 6 more2020PDF
2021 IEEE 24th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Yang, Huan & 10 more2021PDF
2020 IEEE 2nd International Conference on Civil Aviation Safety and Information TechnologyJiao, Lei & 2 more2020PDF
2021 1st International Conference on Artificial Intelligence and Data Analytics (CAIDA)Elias Nemer2021PDF
2021 1st International Conference on Artificial Intelligence and Data Analytics (CAIDA)Kamal, Syed Osama & 2 more2021PDF
2021 IEEE 24th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Shang, Feiyu & 6 more2021PDF
2021 36th Youth Academic Annual Conference of Chinese Association of Automation (YAC)Gao, Wenjie & 8 more2021PDF
2021 IEEE 24th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Yang, Yifan & 6 more2021PDF
2020 35th Youth Academic Annual Conference of Chinese Association of Automation (YAC)Zhang, Haidong & 6 more2020PDF
2021 IEEE 24th International Conference on Computer Supported Cooperative Work in Design (CSCWD)Asad, Muhammad & 6 more2021PDF
2020 IEEE 2nd International Conference on Civil Aviation Safety and Information TechnologyLiu, Yunhong & 2 more2020PDF