Other sites related to this research
temporal logic
- Tools for Concurrent Systems
- A Propositional Modal Logic of Time Intervals - Halpern, Shoham (ResearchIndex)
- A Guide to SNARK
- Model Checking at CMU
- Research Topics of Klaus Schneider
- Verifying Timing Properties of Concurrent Algorithms
- Tom Henzinger: Home Page
petri nets
- The Petri Nets Bibliography
Joaquin Lopez
Last modified: Wed Dec 6 23:30:26 EST 2000