Ron Meyden, J. S. Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή Chicago (17η εκδ.)
Ron Meyden, Jan-Georg Smaus. Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Berlín, Alemania: Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Παραπομπή σε μορφή MLA (9th εκδ.)
Ron Meyden, Jan-Georg Smaus. Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Springer.
Η αντιγραφή στο πρόχειρο ολοκληρώθηκε επιτυχώς
Η αντιγραφή στο πρόχειρο απέτυχε
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.