Collaborated with:
R.Majumdar F.Niksic
Talks about:
asynchron (1) schedul (1) program (1) famili (1) hit (1)
Person: Dmitry Chistikov
DBLP: Chistikov:Dmitry
Contributed to:
Wrote 1 papers:
- CAV-2016-ChistikovMN #product line #source code
- Hitting Families of Schedules for Asynchronous Programs (DC, RM, FN), pp. 157–176.