|
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