Efficient CTMC Model Checking of Linear Real−Time Objectives

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A
التنسيق:	Conference item
منشور في:	2011

الوصف
الملخص:

مواد مشابهة