شماره ركورد
60395
عنوان
Computer Aided Verification 31st International Conference, CAV 2019 New York City, NY, USA, July 15–18, 2019 Proceedings, Part I
اطلاعات نشر
Switzerland Springer
سال نشر
2019
تعداد صفحه
680
شابك
9783030255404
زبان
انگليسي
موضوع
Timed Systems , Timed Automata , Handling Diagonal Constraints
فايل ديجيتال
8174270
Link To Document