Vaughan Coulthard

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
Non-deterministic Temporal Logics for General Flow Systems. HSCC (2004)
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. FORMATS/FTRTFT (2004)