Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract)
| Autor: | Andova, S., Willemse, T.A.C. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 14 April 2005 128(2):53-66 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Andova, S., Willemse, T.A.C. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 14 April 2005 128(2):53-66 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect