Travelled to:
1 × Germany
Collaborated with:
R.Venkatesh U.Shrotri G.M.Krishna
Talks about:
reactiv (1) system (1) specif (1) notat (1) edt (1)
Person: Supriya Agrawal
DBLP: Agrawal:Supriya
Contributed to:
Wrote 1 papers:
- DATE-2014-VenkateshSKA #named #specification
- EDT: A specification notation for reactive systems (RV, US, GMK, SA), pp. 1–6.