Aarti Gupta, S. M. Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्र
Aarti Gupta, Sharad Malik. Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings. Berlín, Alemania: Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
एमएलए (9वां संस्करण) प्रशस्ति पत्र
Aarti Gupta, Sharad Malik. Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings. Springer.
क्लिपबोर्ड पर सफलतापूर्वक कॉपी किया गया
क्लिपबोर्ड पर कॉपी करना विफल
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.