Simplified Coalgebraic Trace Equivalence.
| Autor: | Kurz, Alexander, Milius, Stefan, Pattinson, Dirk, Schröder, Lutz |
|---|---|
| Zdroj: | Software, Services & Systems; 2015, p75-90, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Kurz, Alexander, Milius, Stefan, Pattinson, Dirk, Schröder, Lutz |
|---|---|
| Zdroj: | Software, Services & Systems; 2015, p75-90, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|