Login / Signup
Vinay Ramaswamy
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Linh T. X. Phan
,
Jaewoo Lee
,
Arvind Easwaran
,
Vinay Ramaswamy
,
Sanjian Chen
,
Insup Lee
,
Oleg Sokolsky
CARTS: a tool for compositional analysis of real-time systems.
SIGBED Rev.
8 (1) (2011)