Dennis Dams · 3 obras en el catálogoObrasConcurrency, Compositionality, and CorrectnessFFM 2009 : Formal MethodsFM 2009 : Formal MethodsTTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking
TTheoretical and Practical Aspects of SPIN Model CheckingTheoretical and Practical Aspects of SPIN Model Checking