L2C2: Logic-based LSC consistency checking

Hai Feng Guo, Wen Zheng, Mahadevan Subramaniam

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'L2C2: Logic-based LSC consistency checking'. Together they form a unique fingerprint.

Engineering & Materials Science

Earth & Environmental Sciences