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 - 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 Scholar
TM
Check