Przigoda, N., Wille, R., Przigoda, J., & Drechsler, R. (2018). Automated validation & verification of UML/OCL models using satisfiability solvers. Springer International Publishing AG. https://doi.org/10.1007/978-3-319-72814-8
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रPrzigoda, Nils, Robert Wille, Judith Przigoda, और Rolf Drechsler. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Cham: Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-72814-8.
एमएलए (9वां संस्करण) प्रशस्ति पत्रPrzigoda, Nils, et al. Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers. Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-72814-8.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.