Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Model checking techniqes for the analysis of reactive systems
2002
Stephan Merz
Synthese 133/1-2
