MODEST - A unified language for quantitative models.

Arnd Hartmanns

Browse the full FDL paper archive.