Statistics
Publications
1
Citations
32
H-Index
1
Active since
2005
Affiliations
D. Baltus is an author at Massachusetts Institute of Technology specializing in system verilog, computer science, and fault tolerance.
Publications per year
2005–2005
1
1
Synthesis of synchronous assertions with guarded atomic actions
Michael Pellauer, Muriel Bittencourt de Liz, D. Baltus et al. · 2005 · 32 citations
1–1 of 1