D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.
Chicago-referens (17:e uppl.)D'Silva, V., S. Sonalkar, S. Ramesh, och C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
MLA-referens (9:e uppl.)D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.