Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Vlijmen, S.F.M. van
Volume
Title
181
Using the Tools in TRADE, I: A Decision Support System for Traffic Light Maintenance
Vlijmen, S.F.M. van
|
Wieringa, R.J.
159
A decision support system for the maintenance of lights of traffic regulation systems
Duyn Schouten, F.A. van der
|
Klusener, A.S.
|
Vlijmen, S.F.M. van
|
Vos de Wael, S.L.E.
121
The safety guaranteeing system at station Hoorn-Kersenboogerd
Groote, J.F.
|
Koorn, J.W.C.
|
Vlijmen, S.F.M. van
114
A Modal Logic for μCRL
Groote, J.F.
|
Vlijmen, S.F.M. van
Online