23 May
2011
23 May
'11
11:10 a.m.
Dear David,
I propose that you insert the change in line 645 of transient_ctmrm.c, as you seem to know best currently how model checking CTMRMs should de done.
I'll try to. I have some experience with related algorithms, but not with this one. Best regards, Moritz