APA (7th ed.) Citation

D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.

Chicago Style (17th ed.) Citation

D'Silva, V., S. Sonalkar, S. Ramesh, and C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.

MLA (9th ed.) Citation

D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.