C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SAT based solutions for consistency problems in formal property specifications for open systems.
Suchismita Roy
Sayantan Das
Prasenjit Basu
Pallab Dasgupta
Partha Pratim Chakrabarti
Published in:
ICCAD (2005)
Keyphrases
</>
open systems
autonomous agents
formal specification
answer set programming
learning algorithm
mobile phone