Efficient CTMC Model Checking of Linear Real−Time Objectives

Efficient CTMC Model Checking of Linear Real−Time Objectives

מידע ביבליוגרפי
Main Authors: Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A
פורמט: Conference item
יצא לאור: 2011

פריטים דומים