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 - Diploma Thesis
en
 
Hochschulschrift - Diplomarbeit
de
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

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

15
checked on Jul 6, 2023

Google ScholarTM

Check