Sciweavers

70
Voted
FMICS
2007
Springer
15 years 1 months ago
Model Classifications and Automated Verification
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Radek Pelánek