Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems
2011
6 citations
Journal Article
Field-Weighted Citation Impact:
0.39
Proceedings of the 11th International Workshop on Automated Verification of Critical Systems | Researchclopedia