Sciweavers

FMICS
2008
Springer

Local Quantitative LTL Model Checking

14 years 1 months ago
Local Quantitative LTL Model Checking
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2008
Where FMICS
Authors Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova
Comments (0)