Ξύστρα, Α., & Φράγκος, Π. (2017). Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Παραπομπή Chicago StyleΞύστρα, Αικατερίνη, and Παναγιώτης Φράγκος. Enabling Reasoning and Verification Support for Intelligent Agent Systems, Using Formal Methods. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, 2017.
Παραπομπή MLAΞύστρα, Αικατερίνη, and Παναγιώτης Φράγκος. Enabling Reasoning and Verification Support for Intelligent Agent Systems, Using Formal Methods. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, 2017.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.