A compositional approach for verifying generalised nonblocking Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Malik, Robi
Leduc, Ryan

status

published

publication date

December 2009

published in

IEEE International Conference on Control and Automation, ICCA Journal

presented at event

2009 IEEE International Conference on Control and Automation (ICCA) Conference