Model checking techniqes for the analysis of reactive systems
Vol. 133/1-2
Stephan Merz
Band
Titel
Autor/in