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
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Copyful Streaming String Transducers Filiot, Emmanuel

178 1-2 p. 59-76
artikel
2 Preface Hague, Matthew

178 1-2 p. v-vi
artikel
3 Probabilistic Timed Automata with Clock-Dependent Probabilities Sproston, Jeremy

178 1-2 p. 101-138
artikel
4 Stubborn Sets, Frozen Actions, and Fair Testing Valmari, Antti

178 1-2 p. 139-172
artikel
5 The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic Bruse, Florian

178 1-2 p. 1-30
artikel
6 Topological Characterisation of Multi-Buffer Simulation Hutagalung, Milka

178 1-2 p. 77-99
artikel
7 Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* Cassez, Franck

178 1-2 p. 31-57
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland