Skip to main content

Process algebra and model checking

A.W. Roscoe Rance Cleaveland and Scott Smolka

Book Title
Handbook of Model Checking
Year
2018