Statistics
Publications
1
Citations
14
H-Index
1
Active since
2011
Schneider is an author specializing in temporal logic, systems architecture, and computer science.
Publications per year
2011–2011
1
1
Integrating system descriptions by clocked guarded actions
1–1 of 1