Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

150045

Michel Bidoit

Bibliographie ¹

(2000-2009)

Proving behavioral refinements of col-specifications

2006

Michel Bidoit Rolf Hennicker

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Sortieren

Filtern

Sprache

english/english

Periode

2000-2009