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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An Algebraic Approach for Compiling Real-Time Programs Arenas, Alvaro E.
 2003
 68 5 p. 1-15
15 p.
 artikel
2 An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems Bravetti, Mario
 2003
 68 5 p. 34-64
31 p.
 artikel
3 Balanced timed regular expressions 1 1 Partially supported by the European community project IST-2001-35304 AMETIST Asarin, Eugene
 2003
 68 5 p. 16-33
18 p.
 artikel
4 Bounded Model Checking for Timed Automata 1 1 This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096. Sorea, Maria
 2003
 68 5 p. 116-134
19 p.
 artikel
5 Petri nets with causal time for system verification Bui Thanh, C.
 2003
 68 5 p. 85-100
16 p.
 artikel
6 Preface Vogler, Walter
 2003
 68 5 p. 135-136
2 p.
 artikel
7 Process Algebras as Specification Language Müffke, Friedger
 2003
 68 5 p. 101-115
15 p.
 artikel
8 Revisiting Interactive Markov Chains Bravetti, Mario
 2003
 68 5 p. 65-84
20 p.
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland