|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
3 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A generalised theory of Interface Automata, component compatibility and error |
Fendrich, Sascha |
2018 |
56 | 4 |
p. 287-319 |
artikel |
|
| 2 | Equivalence checking of Petri net models of programs using static and dynamic cut-points |
Bandyopadhyay, Soumyadip |
2018 |
56 | 4 |
p. 321-383 |
artikel |
|
| 3 | On the decidability of the existence of polyhedral invariants in transition systems |
Monniaux, David |
2018 |
56 | 4 |
p. 385-389 |
artikel |
3 gevonden resultaten