D'Silva, V., Sonalkar, S., Ramesh, S., & Kirsch, C. (2007). Existential abstractions for distributed reactive systems via syntactic transformations.
Dyfyniad Arddull ChicagoD'Silva, V., S. Sonalkar, S. Ramesh, and C. Kirsch. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Dyfyniad MLAD'Silva, V., et al. Existential Abstractions for Distributed Reactive Systems via Syntactic Transformations. 2007.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.