Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=WANG, Chao
cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
Comment Share
LAHIRI, Shuvendu K.WANG, Chao

he open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topi…

Edition
1
ISBN/ISSN
9783030532918
Collation
XVIII, 683
Series Title
-
Call Number
-
cover
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Ang…
Comment Share
LAHIRI, Shuvendu K.WANG, Chao

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following t…

Edition
1
ISBN/ISSN
9783030532888
Collation
XVII, 669
Series Title
-
Call Number
-