|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Identity-based signatures in standard model |
Chen, Huiyan |
2018 |
56 | 6 |
p. 471-486 |
artikel |
|
| 2 | Parikh matrices for powers of words |
Atanasiu, Adrian |
2018 |
56 | 6 |
p. 521-535 |
artikel |
|
| 3 | Structural liveness of Petri nets is ExpSpace-hard and decidable |
Jančar, Petr |
2019 |
56 | 6 |
p. 537-552 |
artikel |
|
| 4 | The model checking fingerprints of CTL operators |
Krebs, Andreas |
2018 |
56 | 6 |
p. 487-519 |
artikel |
4 gevonden resultaten