Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
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 Scholar
TM
Check