Toggle navigation
Home
People
Departments
Research
About
Login
Search
THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Chen, Yihai
MIAO, Huaikou
ZHU, Jiang
status
published
publication date
October 2005
published in
Proceedings of the 11th Joint International Computer Conference
Journal
presented at event
11th Joint International Computer Conference - JICC 2005
Conference
Identity
Digital Object Identifier (DOI)
10.1142/9789812701534_0165
Additional Document Info
start page
738
end page
741