Efficient CTMC Model Checking of Linear Real−Time Objectives

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Barbot, B, Chen, T, Han, T, Katoen, J, Mereacre, A
Ձևաչափ:	Conference item
Հրապարակվել է:	2011

Նմանատիպ նյութեր