Model Checking with Boolean Satisfiability


Marques-Silva, Joao (2008) Model Checking with Boolean Satisfiability Journal of Algorithms in Cognition, Informatics and Logic, 63, (1-3), pp. 3-16.

Download

[img] PDF jpms-jalgor08-prelim.pdf - Other
Download (211kB)
Item Type: Article
Organisations: Electronics & Computer Science
ePrint ID: 265229
Date :
Date Event
2008Published
Date Deposited: 29 Feb 2008 12:14
Last Modified: 17 Apr 2017 19:23
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265229

Actions (login required)

View Item View Item