|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Checking extended CTL properties using guarded quotient structures |
Sistla, A. Prasad |
2007 |
31 | 3 |
p. 197-219 |
artikel |
|
| 2 | Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) |
Barrett, Clark |
2007 |
31 | 3 |
p. 221-239 |
artikel |
|
| 3 | Finding optimal hardware/software partitions |
Mann, Zoltán Ádám |
2007 |
31 | 3 |
p. 241-263 |
artikel |
|
| 4 | Memory model sensitive bytecode verification |
Huynh, Thuan Quang |
2007 |
31 | 3 |
p. 281-305 |
artikel |
|
| 5 | The word problem for visibly pushdown languages described by grammars |
Torre, Salvatore La |
2007 |
31 | 3 |
p. 265-279 |
artikel |
5 gevonden resultaten