PReMo : An Analyzer for P robabilistic Re cursive Mo dels.

Dominik Wojtczak, Kousha Etessami

Browse the full TACAS paper archive.