|
Volumn 3762 LNCS, Issue , 2005, Pages 688-699
|
A world ontology specification language
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ONTOLOGY;
TRANSITION SPACE;
COMPUTER APPLICATIONS;
COMPUTER SYSTEMS;
SPECIFICATIONS;
STATE SPACE METHODS;
FORMAL LANGUAGES;
|
EID: 33646693454
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11575863_88 Document Type: Conference Paper |
Times cited : (22)
|
References (14)
|