| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Parosh Aziz Abdulla, Per Bjesse, Niklas Eén: Symbolic Reachability Analysis Based on SAT-Solvers. TACAS 2000: 411-425 |
Selection of 1 from 15 records - Per Bjesse has 17 coauthors
Copyright © 2009-12-05 by Michael Ley (ley@uni-trier.de)