Statistics
Publications
3
Citations
61
H-Index
3
Active since
1995
Affiliations
P Miller Steven is an author at Menlo School specializing in formal methods, computer architecture, and computer science.
Publications per year
1995–1999
3
3
W Butler Ricky, S Miner Paul, K Srivas Mandayam et al. · NASA Technical Reports Server (NASA) · 1996 · 13 citations
1–3 of 3