HEAL DSpace

Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods

DSpace/Manakin Repository

Enabling Reasoning and Verification Support for Intelligent Agent Systems, using Formal Methods

Ξύστρα, Αικατερίνη
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/46767
http://dx.doi.org/10.26240/heal.ntua.2900
Date: 2018-03-23

Show full item record

Files in this item

[PDF]
Name: MyThesis2.pdf
Size: 1.509Mb
Format: PDF
Description: Διατριβή
View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα