Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Back to research
The nuXmv Symbolic Model Checker
2014
514 citations
Book Chapter
Field-Weighted Citation Impact:
53.31
The nuXmv Symbolic Model Checker | Researchclopedia
·
Fondazione Bruno Kessler
Marco Roveri
·
Fondazione Bruno Kessler
Stefano Tonetta
·
Fondazione Bruno Kessler