This page contains links of interest to CSSE 373.

• Jonathan Jacky -- author of required text
• Virtual Library entry for Formal Methods
• Formal Methods Europe - click on Formal Methods and then on Applications
• Train Crossing Article
• Another Article About the Crossing
• hpsim -- Petri Net simulator