Paulo Fernandes

PEPS2007 - Stochastic Automata Networks Software Tool

B. Plateau, Ihab Sbeity, Leonardo Brenner, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).