Maria Bjorkman

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
High quality behavioral verification using statistical stopping criteria. DATE (2001)
Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
Stopping Criteria Comparison: Towards High Quality Behavioral Verification. ISQED (2001)