Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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 A lazy approach to symmetry reduction Wahl, Thomas
2009
22 6 p. 713-733
artikel
2 Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s Harel, David
2010
22 6 p. 663-665
artikel
3 Inter-process buffers in separation logic with rely-guarantee Bornat, Richard
2010
22 6 p. 735-772
artikel
4 Lower bounds on lengths of checking sequences Jourdan, Guy-Vincent
2009
22 6 p. 667-679
artikel
5 Translating FSP into LOTOS and networks of automata Lang, Frédéric
2009
22 6 p. 681-711
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland