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
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic Peyras, Quentin
280 C p.
 artikel
2 Complexity analysis of a unifying algorithm for model checking interval temporal logic Bozzelli, Laura
280 C p.
 artikel
3 Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way Zavatteri, Matteo
280 C p.
 artikel
4 Editorial Board
280 C p.
 artikel
5 On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning Sioutis, Michael
280 C p.
 artikel
6 QCTL model-checking with QBF solvers Hossain, Akash
280 C p.
 artikel
7 Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning Gamper, Johann
280 C p.
 artikel
8 Subject-oriented spatial logic Wałęga, Przemysław Andrzej
280 C p.
 artikel
9 Timed hyperproperties Ho, Hsi-Ming
280 C p.
 artikel
10 To drive or not to drive: A logical and computational analysis of European transport regulations de Almeida Borges, Ana
280 C p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland