Publication Overview

T. A. Henzinger and B. Jobstmann and V. Wolf

Formalisms for Specifying Markovian Population Models

Published in: RP
Year: 2009
Pages: 3-23