Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
1996
191 citations
Journal Article
hybrid Open Access
Field-Weighted Citation Impact:
8.09
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems | Researchclopedia