Title: Transparency in Global Environmental Governance: Critical Perspectives, Author: Aarti Gupta
Title: SAT-Based Scalable Formal Verification Solutions, Author: Malay Ganai
Title: SAT-Based Scalable Formal Verification Solutions / Edition 1, Author: Malay Ganai
Title: Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings / Edition 1, Author: Aarti Gupta