Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
Year: 2011
Type: article
Source: MBMV
Author: Christian Appold
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2398071302