DMCA

Quantitative verification of weighted Kripke structures

Cached

Download Links

by Patricia Bouyer , Patrick Gardy , Nicolas Markey