Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., . . . Volk, M. (2025). Principles of Verification: Cycling the Probabilistic Landscape. Springer Nature.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή Chicago (17η εκδ.)
Jansen, Nils, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, και Matthias Volk. Principles of Verification: Cycling the Probabilistic Landscape. Springer Nature, 2025.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή MLA (9th εκδ.)
Jansen, Nils, et al. Principles of Verification: Cycling the Probabilistic Landscape. Springer Nature, 2025.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.