By Kroening Daniel   in Formal Aspects of Computing

ISSN:0934-5043|23|5|585-588

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 18.450298

By Clarke Edmund   Jain Himanshu   Kroening Daniel   in Formal Methods in System Design

ISSN:0925-9856|30|1|5-28

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 11.070179

By Basler Gérard   Mazzucchi Michele   Wahl Thomas   Kroening Daniel   in Formal Methods in System Design

ISSN:0925-9856|36|3|223-245

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 9.225149

By Groce Alex   Chaki Sagar   Kroening Daniel   Strichman Ofer   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|229-247

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 9.225149

By Aktas Mehmet K.   Kroening Daniel   Ling Fred S.   Calkins Hugh   Goldenberg Ilan   Huang David T.   in Annals of Noninvasive Electrocardiology

ISSN:1082-720x|16|2|208-212

Blackwell Publishing‎(2011)‎

Access to resources Favorite 6.918514