Vicky Hartonas-Garmhausen Sérgio Vale Aguiar Campos Edmund M. Clarke ProbVerus: Probabilistic Symbolic Model Checking. 96-110 1999 conf/arts/1999 ARTS http://link.springer.de/link/service/series/0558/bibs/1601/16010096.htm db/conf/arts/arts1999.html#Hartonas-GarmhausenCC99