The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems (2003)

by Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark
Venue:PROCEEDINGS TACAS ’03, NUMBER 2619 IN LECTURE NOTES IN COMPUTER SCIENCE