Your search returned 2 results.

Sort
Results
1.
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12225
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12225.

2.
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12224
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12224.

Pages