Re: [PD] An abstraction : markov finite state machine

Georg Holzmann

16 Aug 2006 16 Aug '06

9:45 a.m.

Hallo!

if you are interested in markov chains, maybe you like this:

icem-www.folkwang-hochschule.de/~finnendahl/download/markov_pd.tgz

can you put this in cvs ?

LG Georg