Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Caspi2009a

P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis. Actors without Directors: A Kahnian View of Heterogeneous Systems. In HSCC, Pages 46-60, 2009.

Keyword

[ Synchrony ]

BibTex Reference

@InProceedings{Caspi2009a,
   Author = {Caspi, P. and Benveniste, A. and Lublinerman, R. and Tripakis, S.},
   Title = {Actors without Directors: A Kahnian View of Heterogeneous Systems},
   BookTitle = {HSCC},
   Pages = {46--60},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)