![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 5 | Minxue Pan, Lei Bu, Xuandong Li: TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695 |
Selection of 1 from 5 records - Lei Bu has 9 coauthors
Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)