23 Mai
2011
23 Mai
'11
11:10
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