D

Dennis Dams

4 books found

Books by Dennis Dams
Concurrency, Compositionality, and CorrectnessDennis Dams

Concurrency, Compositionality, and Correctness

Dennis Dams

2010No page data
Abstract interpretation and partition refinement for model checkingDennis René Dams
⏱ 3h 37m

Abstract interpretation and partition refinement for model checking

Dennis René Dams

1996217 pp.
FM 2009 : Formal MethodsAna Cavalcanti

FM 2009 : Formal Methods

Ana Cavalcanti

2009No page data
Theoretical and Practical Aspects of SPIN Model CheckingDennis Dams

Theoretical and Practical Aspects of SPIN Model Checking

Dennis Dams

2003No page data