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
 
                             24 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Formal Model of Multi-Agent Organisations Köhler, Michael
2007
79 3-4 p. 415-430
artikel
2 Algorithm of Translation of MSC-specified System into Petri Net Kryvyy, Sergiy
2007
79 3-4 p. 431-445
artikel
3 Analysis of Approximate Petri Nets by Means of Occurrence Graphs Suraj,, Zbigniew
2007
79 3-4 p. 541-551
artikel
4 Approximation Spaces and Nearness Type Structures Wolski, Marcin
2007
79 3-4 p. 567-577
artikel
5 Approximation Spaces Based on Relations of Similarity and Dissimilarity of Objects Gomolińska, Anna
2007
79 3-4 p. 319-333
artikel
6 Checking Properties of Adaptive Workflow Nets van Hee, Kees
2007
79 3-4 p. 347-362
artikel
7 Compositional Systems over Reducible Networks Mazurkiewicz, Antoni
2007
79 3-4 p. 265-282
artikel
8 Concurrency Specification and Programming (CS&P) 2007
79 3-4 p. i
artikel
9 Concurrent Turing Machines Farwer, Berndt
2007
79 3-4 p. 303-317
artikel
10 Decidability Problems of a Basic Class of Object Nets Dietze, Roxana
2007
79 3-4 p. 295-302
artikel
11 Interpreted Nets Czaja, Ludwik
2007
79 3-4 p. 283-293
artikel
12 Local Properties of Triangular Graphs Mazurkiewicz, Antoni
2007
79 3-4 p. 487-495
artikel
13 Modelling and Checking Timed Authentication of Security Protocols Jakubowska, Gizela
2007
79 3-4 p. 363-378
artikel
14 Nearness of Objects: Extension of Approximation Space Model Peters, James F.
2007
79 3-4 p. 497-512
artikel
15 Observation Based System Security Gruska, Damas P.
2007
79 3-4 p. 335-346
artikel
16 On Semilinear Sets over Commutative Semirings Kudlek, Manfred
2007
79 3-4 p. 447-452
artikel
17 Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking Redziejowski, Roman R.
2007
79 3-4 p. 513-524
artikel
18 Path Compression in Timed Automata Janowska, Agata
2007
79 3-4 p. 379-399
artikel
19 Relational Data and Rough Sets Stepaniuk, Jaroslaw
2007
79 3-4 p. 525-539
artikel
20 SAT-Based Reachability Checking for Timed Automata with Discrete Data Zbrzezny, Andrzej
2007
79 3-4 p. 579-593
artikel
21 The Reachability Problem for Object Nets Köhler, Michael
2007
79 3-4 p. 401-413
artikel
22 Towards Efficient Computing Consistent and Partially Consistent Extensions of Information Systems Suraj, Zbigniew
2007
79 3-4 p. 553-566
artikel
23 Verification of the TESLA protocol in MCMAS-X Lomuscio, Alessio
2007
79 3-4 p. 473-486
artikel
24 Verifying Security Protocols Modelled by Networks of Automata Kurkowski, Mirosław
2007
79 3-4 p. 453-471
artikel
                             24 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland