Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Directory | Profile

156165

Stephan Merz

Bibliography ¹

Model checking techniqes for the analysis of reactive systems

2002

Synthese 133/1-2

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009