Wies, Thomas

Vis mig kun

Networked Systems

Networked Systems

Wies, Thomas

436,85 DKK

Networked Systems

Networked Systems

Wies, Thomas

436,85 DKK

Automated Verification of Concurrent Search Structures

Automated Verification of Concurrent Search Structures

Wies, Thomas

473,39 DKK

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Wies, Thomas

802,25 DKK