By Avigad Jeremy   Donnelly Kevin   in Journal of Automated Reasoning

ISSN:0168-7433|38|4|353-373

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 12.84224

By Gordon Terry   Nadziejko Christine   Galdanes Karen   Lewis Dan   Donnelly Kevin   in Inhalation Toxicology

ISSN:1091-7691|18|6|449-456

Informa Healthcare‎(2006)‎

Access to resources Favorite 8.0264