Algebras and Automata for Timed and Stochastic Systems (0)

by P R D’Argenio