Model Checking with Boolean Satisfiability

AuthID
P-00F-V9Q
1
Author(s)
Document Type
Article
Year published
2008
Published
in JOURNAL OF ALGORITHMS, ISSN: 0196-6774
Volume: 63, Issue: 1-3, Pages: 3-16 (14)
Indexing
Publication Identifiers
DBLP: journals/jal/Marques-Silva08
SCOPUS: 2-s2.0-49449103561
Unpaywall: 10.1016/j.jalgor.2008.02.007
Wos: WOS:000258968700002
Source Identifiers
ISSN: 0196-6774
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.