Model checking techniqes for the analysis of reactive systems
Vol. 133/1-2
Stephan Merz
Volume
Title
Author