Login / Signup

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.

David N. JansenJoost-Pieter KatoenMarcel OldenkampMariëlle StoelingaIvan S. Zapreev
Published in: Haifa Verification Conference (2007)
Keyphrases