Record link: 
http://hdl.handle.net/20.500.12708/186246
-
Title: 
MACE : environment for verifying agent programs
en
Citation: 
Wiedemair, T. (2002). MACE : environment for verifying agent programs [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186246
-
CatalogPlus: 
AC03466790
-
Publication Type: 
Thesis - Diplomarbeit
en
Language: 
English
-
Authors: 
Wiedemair, Tymon 
-
Advisor: 
Gottlob, Georg 
-
Organisational Unit: 
E184 - Institut für Informationssysteme 
-
Date (published): 
2002
-
Number of Pages: 
115
-
Appears in Collections:
Thesis

Show full item record

Page view(s)

106
checked on Nov 23, 2023

Google ScholarTM

Check