Fingerprint
Dive into the research topics of 'L2C2: Logic-based LSC consistency checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
L2C2: Logic-based LSC consistency checking
Hai Feng Guo, Wen Zheng, Mahadevan Subramaniam
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8
Scopus
citations