Vaughan Coulthard

According to our database, Vaughan Coulthard authored at least 2 papers in 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Non-deterministic Temporal Logics for General Flow Systems.

Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.

Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode

Proceedings of the Formal Techniques, 2004