Symbolic Transition System
From: Olivier (olivier.marechal_at_laposte.net)
Date: 03/12/04
- Next message: Mark Thornton: "Re: which one is faster?"
- Previous message: Michael Borgwardt: "Re: How to download file via HTTP?"
- Next in thread: Mladen Adamovic: "Re: Symbolic Transition System"
- Reply: Mladen Adamovic: "Re: Symbolic Transition System"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 12 Mar 2004 21:52:21 +0100
For a project, I have to use special sort of finite states automata called
Symbolic Transition Systems.
I don't find a library on the net for the moment.
Does anyone knows where I could find this sort of thing ?
Thanks,
Olivier
- Next message: Mark Thornton: "Re: which one is faster?"
- Previous message: Michael Borgwardt: "Re: How to download file via HTTP?"
- Next in thread: Mladen Adamovic: "Re: Symbolic Transition System"
- Reply: Mladen Adamovic: "Re: Symbolic Transition System"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
|
