|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Constrained narrowing for conditional equational theories modulo axioms |
Cholewa, Andrew |
2015 |
112 | P1 |
p. 24-57 34 p. |
artikel |
|
| 2 | Fundamentals of Software Engineering (selected papers of FSEN 2013) |
Hojjat, Hossein |
2015 |
112 | P1 |
p. 1-2 2 p. |
artikel |
|
| 3 | Improving time bounded reachability computations in interactive Markov chains |
Hatefi, Hassan |
2015 |
112 | P1 |
p. 58-74 17 p. |
artikel |
|
| 4 | In the quantitative automata zoo |
Hartmanns, Arnd |
2015 |
112 | P1 |
p. 3-23 21 p. |
artikel |
|
| 5 | It is pointless to point in bounded heaps |
de Boer, F.S. |
2015 |
112 | P1 |
p. 102-118 17 p. |
artikel |
|
| 6 | Lending Petri nets |
Bartoletti, Massimo |
2015 |
112 | P1 |
p. 75-101 27 p. |
artikel |
6 gevonden resultaten