Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A BMC-based formulation for the scheduling problem of hardware systems Cabodi, Gianpiero
 2005
 7 2 p. 102-117
 artikel
2 Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure Li, Bing
 2005
 7 2 p. 143-155
 artikel
3 Are BDDs still alive within sequential verification? Cabodi, Gianpiero
 2005
 7 2 p. 129-142
 artikel
4 A survey of recent advances in SAT-based formal verification Prasad, Mukul R.
 2005
 7 2 p. 156-173
 artikel
5 BMC via on-the-fly determinization Jussila, Toni
 2005
 7 2 p. 89-101
 artikel
6 Computational challenges in bounded model checking Clarke, Edmund
 2005
 7 2 p. 174-183
 artikel
7 Functional programming languages for verification tools: a comparison of Standard ML and Haskell Leucker, Martin
 2005
 7 2 p. 184-194
 artikel
8 Introductory paper Biere, Armin
 2005
 7 2 p. 87-88
 artikel
9 Symbolic computational techniques for solving games Alur, Rajeev
 2005
 7 2 p. 118-128
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland