Sekerinski, Emil, 1963-
Sekerinski, E. (Emil), 1963-
Sekerinski, Emil
Sekerinski, E. 1963-
Emil Sekerinski
Sekerinski, E. (Emil)
VIAF ID: 85656923 ( Personal )
Permalink: http://viaf.org/viaf/85656923
Preferred Forms
- 100 0 _ ‡a Emil Sekerinski
- 100 1 _ ‡a Sekerinski, E. ‡d 1963-
- 100 1 _ ‡a Sekerinski, E. ‡q (Emil)
-
- 100 1 0 ‡a Sekerinski, E. ‡q (Emil), ‡d 1963-
-
-
- 100 1 _ ‡a Sekerinski, Emil ‡d 1963-
-
- 100 1 _ ‡a Sekerinski, Emil, ‡d 1963-
4xx's: Alternate Name Forms (9)
5xx's: Related Names (4)
- 510 2 _ ‡a FZI Forschungszentrum Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a McMaster University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Turun Tietotekniikan Tutkimuskeskus ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Karlsruhe (TH) ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings | |
Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II | |
From action systems to distributed systems : the refinement approach | |
Program Development by Refinement Case Studies Using the B Method | |
Verfeinerung in der objektorientierten Programmkonstruktion |