[PD] An abstraction : markov finite state machine

[Georg Holzmann]

Hallo!

> Am 16. August 2006, 09:45 Uhr (+0200) schrieb Georg Holzmann:
>> can you put this in cvs ?
> 
> Sure. How?

If you don't have cvs access I can put it in for you if you want ...

LG
Georg