Publication Overview

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

Formalisms for Specifying Markovian Population Models

Published in: Journal of Foundations of Computer Science
Year: 2011