Publication Overview

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

Formalisms for Specifying Markovian Population Models

Published in: Int. J. Found. Comput. Sci.
Year: 2011
Volume: 22
Pages: 823-841