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