SAT-based Verification for Timed Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping CSP into many-valued SAT
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
SAT-based verification for timed component connectors
Science of Computer Programming
Hi-index | 0.00 |