JANI

Carlos E. Budde

@cbudde

bb9c11b0 · Bugfix: CTMC to JANI (modest): rate == 1 in initial-location · May 11, 2023

Latest support for the JANI exchange format