Showing 1 - 2 results of 2 for search 'Bradfield, Julian', query time: 0.02s Refine Results
  1. 1
    Verifying temporal properties of systems
    by Bradfield, Julian Charles
    Published 1992
    Book
  2. 2
    Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
    Published 2002
    Other Authors: “…Bradfield, Julian…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search