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 Causal View on Non-Interference* Baldan, Paolo
2015
140 1 p. 1-38
artikel
2 Catching a Structural Bug with a Flower Avellaneda, Florent
2015
140 1 p. 61-87
artikel
3 Preface Ciardo, Gianfranco
2015
140 1 p. v-vi
artikel
4 Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics Mateo, José Antonio
2015
140 1 p. 89-121
artikel
5 Synthesis of Live and Bounded Persistent Systems Best, Eike
2015
140 1 p. 39-59
artikel
                             5 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland