Sciweavers

RP
2009
Springer
110views Control Systems» more  RP 2009»
13 years 11 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...