Model Checking Meets Performance Evaluation
Performance Evaluation Review - United States
doi 10.1145/1059816.1059819
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 2005
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
March 1, 2005
Association for Computing Machinery (ACM)