Observational Equivalences for Timed Stable Event Structures.
| Autor: | Andreeva, Maria V.1 maria_and1@yahoo.com, Virbitskaite, Irina B.1 virb@iis.nsk.su |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2006, Vol. 72 Issue 1-3, p1-19. 19p. 4 Diagrams. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|