|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking |
Amat, Nicolas |
|
187 | 2-4 |
p. 103-138 |
artikel |
|
| 2 | Computing Parameterized Invariants of Parameterized Petri Nets |
Esparza, Javier |
|
187 | 2-4 |
p. 197-243 |
artikel |
|
| 3 | Introduction to Probabilistic Concurrent Systems |
Abbes, Samy |
|
187 | 2-4 |
p. 71-102 |
artikel |
|
| 4 | Preface |
Buchs, Didier |
|
187 | 2-4 |
p. i-iii |
artikel |
|
| 5 | Skeleton Abstraction for Universal Temporal Properties |
Wallner, Sophie |
|
187 | 2-4 |
p. 245-272 |
artikel |
|
| 6 | Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues |
Devillers, Raymond |
|
187 | 2-4 |
p. 167-196 |
artikel |
|
| 7 | Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues |
Devillers, Raymond |
|
187 | 2-4 |
p. 139-165 |
artikel |
7 gevonden resultaten