Formal analysis of production line systems by probabilistic model checking tools.

Paolo Ballarini, Andrs Horvth

Browse the full ETFA paper archive.