ENTCS. Research project (Q1294791)

The articles of this volume will be reviewed individually. Indexed articles: \textit{van Vlijmen, Sebastiaan}, Engineering, software and hypotheses, Electronic paper No. 2, [Zbl 0920.68072] \textit{van Vlijmen, Sebastiaan; van Waveren, Arjan}, Road traffic regulation, Electronic paper No. 3, [Zbl 0920.68087] \textit{van Vlijmen, Sebastiaan; van Wamel, Jos}, A semantic approach to protoCold, Electronic paper 4, [Zbl 0920.68086] \textit{van Vlijmen, Sebastiaan; van Waveren, Arjan; Vriend, Paul}, The generic structure editor, Electronic paper No. 5, [Zbl 0920.68088] \textit{van Vlijmen, Sebastiaan; Groote, Jan Friso; Koorn, Wilco}, The vital processor interlocking, Electronic paper No. 6, [Zbl 0920.68082] \textit{van Vlijmen, Sebastiaan; Klusener, Steven; Schrijver, Lex}, The compact dynamic bus station, Electronic paper No. 7, [Zbl 0920.68014] \textit{van Vlijmen, Sebastiaan; van Waveren, Arjan; Klusener, Steven; Koorn, Wilco; Oei, Liang; Bol, Roland; van der Duyn Schouten, Frank; Vos de Wael, Stefan}, Epitomes of four other cases, Electronic paper No. 8, [Zbl 0920.68073]