| 1999 |
|---|
| 9 | EE | Sebastiaan van Vlijmen,
Jos van Wamel:
A Semantic Approach to Protocold.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 8 | EE | Sebastiaan van Vlijmen:
Conclusion.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 7 | EE | Sebastiaan van Vlijmen:
Engineering, Software and Hypotheses.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 6 | EE | Sebastiaan van Vlijmen,
Arjan van Waveren,
Steven Klusener,
Wilco Koorn,
Liang Oei,
Roland N. Bol,
Frank van der Duyn Schouten,
Stefan Vos de Wael:
Epitomes of Four other Cases.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 5 | EE | Sebastiaan van Vlijmen:
Preface.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 4 | EE | Sebastiaan van Vlijmen,
Arjan van Waveren:
Road Traffic Regulation.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 3 | EE | Sebastiaan van Vlijmen,
Steven Klusener,
Alexander Schrijver:
The Compact Dynamic Bus Station.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 2 | EE | Sebastiaan van Vlijmen,
Arjan van Waveren,
Paul Vriend:
The Generic Structure Editor.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 1 | EE | Sebastiaan van Vlijmen,
Jan Friso Groote,
Wilco Koorn:
The Vital Processor Interlocking.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
