Model Checking with Boolean Satisfiability

AuthID
P-00F-V9Q
1
Author(s)
Tipo de Documento
Article
Year published
2008
Publicado
in JOURNAL OF ALGORITHMS, ISSN: 0196-6774
Volume: 63, Número: 1-3, Páginas: 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
Info
At this moment we don't have any links to full text documens.