|
|
Volumn 1, Issue , 1999, Pages 176-181
|
|
General-purpose concurrent and post-processed animation with proof
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CODES (SYMBOLS);
COMPUTER AIDED DESIGN;
COMPUTER HARDWARE;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SIMULATION;
COMPUTER SIMULATION LANGUAGES;
GRAPHICAL USER INTERFACES;
DISCRETE EVENT SIMULATION;
PROOF ANIMATION;
ANIMATION;
|
|
EID: 0033307481
PISSN: 02750708
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/324138.324194 Document Type: Conference Paper |
|
Times cited : (13)
|
|
References (4)
|
