Electronic Notes in Theoretical Computer Science, Volume 21

Volume 21, 1999

• Sebastiaan van Vlijmen:
  Preface.
  
• Sebastiaan van Vlijmen:
  Engineering, Software and Hypotheses.
  
• Sebastiaan van Vlijmen, Arjan van Waveren:
  Road Traffic Regulation.
  
• Sebastiaan van Vlijmen, Jos van Wamel:
  A Semantic Approach to Protocold.
  
• Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend:
  The Generic Structure Editor.
  
• Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn:
  The Vital Processor Interlocking.
  
• Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver:
  The Compact Dynamic Bus Station.
  
• 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.
  
• Sebastiaan van Vlijmen:
  Conclusion.