Statistics
Publications
1
Citations
112
H-Index
1
Active since
2002
Affiliations
Stanford University(Current)
Satyaki Das is an author at Stanford University specializing in algorithms, concurrent system verification, and model checking.
Publications per year
2002–2002
1
1
Successive approximation of abstract transition relations
Satyaki Das, David L. Dill · 2002 · 112 citations
1–1 of 1