Statistics
Publications
1
Citations
80
H-Index
1
Active since
1991
Dnaiel Jackson is an author specializing in formal methods, computing, and timed finite state machines.
Publications per year
1991–1991
1
1
Timed CSP: Theory and Practice
Steve Schneider, Dnaiel Jackson, George Reed et al. · View · 1991 · 80 citations
1–1 of 1