First Page | Document Content | |
---|---|---|
![]() Date: 2006-01-17 11:35:25Applied mathematics Model checking Logic in computer science Bisimulation Functional verification Mathematics Computer science Model checkers NuSMV Theoretical computer science | Add to Reading List |