Expressiveness and conciseness of timed automata for the verification of stochastic models

From MaRDI portal
Publication:782571