Home >
domains >
homepages.inf.ed.ac.uk
Bradfield, Julian
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
|
Keyword |
Results for this URL |
Total searches |