![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams: Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145 |
Selection of 1 from 5 records - Donal Fellows has 9 coauthors
Copyright © 2010-01-07 by Michael Ley (ley@uni-trier.de)