| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
|
Rosa, Marcelo
|
|
|
34 |
1 |
p. 163-198
|
artikel
|
| 2 |
Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures
|
Velasquez, Ibis
|
|
|
34 |
1 |
p. 53-93
|
artikel
|
| 3 |
Compositional non-blockingness verification of finite automata with prioritised events
|
Tang, Yiheng
|
|
|
34 |
1 |
p. 125-161
|
artikel
|
| 4 |
Conflict-free electric vehicle routing problem: an improved compositional algorithm
|
Roselli, Sabino Francesco
|
|
|
34 |
1 |
p. 21-51
|
artikel
|
| 5 |
Cycle times in D/D/S series queues with single multi-server bottlenecks
|
Turpin, Lonnie
|
|
|
34 |
1 |
p. 251-268
|
artikel
|
| 6 |
Generation of mathematical programming representations for discrete event simulation models of timed petri nets
|
Zhang, Mengyi
|
|
|
34 |
1 |
p. 1-19
|
artikel
|
| 7 |
Ï€HyFlow: formalism, semantics, and applications
|
Barros, Fernando
|
|
|
34 |
1 |
p. 95-124
|
artikel
|
| 8 |
Switched max-plus linear-dual inequalities: cycle time analysis and applications
|
Zorzenon, Davide
|
|
|
34 |
1 |
p. 199-250
|
artikel
|
Tijdschrift beschrijving