Amanote Research
Register
Sign In
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-540-68073-4_4
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
Unknown
Authors
Juncao Li
Xiuli Sun
Fei Xie
Xiaoyu Song
Publisher
Springer Berlin Heidelberg