Application of formal word-level analysis to constrained random simulation
Conference Proceeding
Overview
publication date
- July 7, 2008
Full Author List
- Kim H; Jin H; Ravi K; Spacek P; Pierce J; Kurshan B; Somenzi F
published in
Other Profiles
International Standard Book Number (ISBN) 13
- 978-3-540-70543-7
Additional Document Info
start page
- 487
end page
- +
volume
- 5123