METODO

International Studies in Phenomenology and Philosophy

Journal | Contributors | Profile

156165

References

Stephan Merz

(2002). Model checking techniqes for the analysis of reactive systems. Synthese 133 (1-2), pp. 173-201.