شماره ركورد
60561
عنوان
Computer Aided Verification 32nd International Conference, CAV 2020 Los Angeles, CA, USA, July 21–24, 2020 Proceedings, Part II
اطلاعات نشر
Switzerland Springer
سال نشر
2020
تعداد صفحه
697
شابك
9783030532918
زبان
انگليسي
موضوع
Semi-determinization , Autonomous Aircraft , Hyperproperties
فايل ديجيتال
8191335
Link To Document