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 Approximate verification of concurrent systems using token structures and invariants Antonino, Pedro
24 4 p. 613-633
 artikel
2 Correction to: Reliable benchmarking: requirements and solutions Beyer, Dirk
24 4 p. 661
 artikel
3 DisCoveR: accurate and efficient discovery of declarative process models Back, Christoffer Olling
24 4 p. 563-587
 artikel
4 From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata Esparza, Javier
24 4 p. 635-659
 artikel
5 Generating test as a web service (TaaWS) through a method-based attribute grammar Habibi, Elahe
24 4 p. 511-527
 artikel
6 Learning of behavioural models and dependency graphs for communicating systems with CkTailv2 Salva, Sebastien
24 4 p. 529-548
 artikel
7 The Log Skeleton Visualizer in ProM 6.9 Verbeek, H. M. W.
24 4 p. 549-561
 artikel
8 The probabilistic model checker Storm Hensel, Christian
24 4 p. 589-610
 artikel
9 Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 Legay, Axel
24 4 p. 611-612
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland