Electronic Notes in Theoretical Computer Science, Volume 21

Volume 21, 1999

• Sebastiaan van Vlijmen:
  Preface. 1-8
  
• Sebastiaan van Vlijmen:
  Engineering, Software and Hypotheses. 1-35
  
• Sebastiaan van Vlijmen, Arjan van Waveren:
  Road Traffic Regulation. 1-51
  
• Sebastiaan van Vlijmen, Jos van Wamel:
  A Semantic Approach to Protocold. 1-32
  
• Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend:
  The Generic Structure Editor. 1
  
• Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn:
  The Vital Processor Interlocking. 1-56
  
• Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver:
  The Compact Dynamic Bus Station. 1-20
  
• Sebastiaan van Vlijmen:
  Epitomes of Four other Cases. 1-28
  
• Sebastiaan van Vlijmen:
  Conclusion. 1-38
  

Last update Wed Feb 15 05:31:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page