Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is P and Author is A. W. Roscoe  [Clear All Filters]
2018
Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)