Local Quantitative LTL Model Checking.

Jiri Barnat, Lubos Brim, Ivana Cern, Milan Ceska, Jana Tumova

Browse the full FMICS paper archive.