|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Checking extended CTL properties using guarded quotient structures |
Sistla, A. Prasad |
2007 |
31 | 3 |
p. 197-219 |
article |
|
| 2 | Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) |
Barrett, Clark |
2007 |
31 | 3 |
p. 221-239 |
article |
|
| 3 | Finding optimal hardware/software partitions |
Mann, Zoltán Ádám |
2007 |
31 | 3 |
p. 241-263 |
article |
|
| 4 | Memory model sensitive bytecode verification |
Huynh, Thuan Quang |
2007 |
31 | 3 |
p. 281-305 |
article |
|
| 5 | The word problem for visibly pushdown languages described by grammars |
Torre, Salvatore La |
2007 |
31 | 3 |
p. 265-279 |
article |
5 results found