D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.
Cita Chicago Style (17a ed.)D'Silva, V., S. Sonalkar, S. Ramesh, y C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Cita MLA (9a ed.)D'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Precaución: Estas citas no son 100% exactas.