Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
Journal Articles
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- August 2013
has subject area
- 0102 Applied Mathematics (FoR)
- 0906 Electrical and Electronic Engineering (FoR)
- 0913 Mechanical Engineering (FoR)
- Industrial Engineering & Automation (Science Metrix)