search

sybila / parasim

Tool for paralell simulations and verification
GNU General Public License v3.0
3 stars 1 forks source link

provide configuration of timeout.unit in parasim-gui #110

Closed papousek closed 11 years ago