what's new?

rebmaster's ramblings

links

search website


this site has the following sub-sites: (not all pages shown)

• the Classic Mac (to be done)
  
  • please come back later
    
• dancing
  
• games
  
  • minesweeper
    
• links
  
  • or how to get away from this site
    
• Photo gallery, mirror site here
  
• Polybahn
  
  • main page
    
  • Polybahn pictures
    
  • Polybahn links
    
• Tintin: in English / en Français
  
  • Restaurant Klow E/F
    
• Tolkien
  
  • my Tolkien page
    
  • my Aglared contributions
    
• trams and light rail
  
  • Freiburg
    
  • Zurich (to be done)
    
  • photo gallery
    
  • links
    
  • guestbook
    
• what's new?
  • what's new? up to date list with the latest changes and additions
    
  • rebmaster's ramblings -- what's going on on this website, and which way will further development take?
• miscellany
  • original home page
  • statistics

links:

work
	I work on a model-checking project to be integrated with CIPtool at the ETH Zürich. I will write more on this later. In the meantime, you can check these links.
	TIK institute
	Electrical Engineering
	ETH Zürich
	CIP Tool
other
	www.datacomm.ch (this site's provider)

last updated 19.06.00.
mailto: shadowfax@datacomm.ch