Modelling and proving of truly concurrent systems with CATNets.
| Autor: | Bettaz, M., Mehemmel, A. |
|---|---|
| Zdroj: | 1993 Euromicro Workshop on Parallel & Distributed Processing; 1993, p265-272, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Bettaz, M., Mehemmel, A. |
|---|---|
| Zdroj: | 1993 Euromicro Workshop on Parallel & Distributed Processing; 1993, p265-272, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|