mctau

swMATH7213MaRDI QIDQ19264FDOQ19264

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-31759-0_16

Cited In (1)

• A compositional modelling and analysis framework for stochastic hybrid systems

This page was built for software: mctau