Julkaisuja / Helsingin yliopisto, viestinnän laitos. Sarja 1
name: Publication Series
name: Teknillinen korkeakoulu, laivalaboratorio : S
name: Department of Computer Science, Series of publications A
name: Vaasan yliopiston julkaisuja. Tutkimuksia. Kielitiede
name: [Europakunskap]
name: Teknillisen korkeakoulun teknillisen fysiikan julkaisuja : B
name: Kasvatustieteiden tiedekunnan julkaisuja / Joensuun yliopisto
name: Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus. Tutkimuksia
name: Julkaisusarja / Maanpuolustuskorkeakoulu,taktiikan laitos. 2, Taktiikan asiatietoa
name: Vaasan yliop. julk., Tutk., Maant
name: Helsinki University of Technology, SimLab publications, Report series
name: Research report. University of Helsinki, Faculty of Behavioural Sciences, Department of Teacher Education
name: [Eurooppa-tietoa]
name: VTT tutkimuksia
name: Helsinki School of Economics. Small Business Center. Discussion and working Paper S
name: STM:n monist
name: Publications / Department of General Linguistics. University of Helsinki
name: [Opetusmoniste] / University of Jyväskylä, Department of Education
name: Tilastoraportti
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja A 2, Tutkimuksia ja raportteja
name: [Series of publications] / University of Tampere. Department of Computer and Information Sciences. A
name: Publications of the Helsinki School of Economics Library
name: Acta Academiae Aboensis. A, Humaniora
name: Julkaisusarja : 3 / Maanpuolustuskorkeakoulu, sotatekniikan laitos
name: Vaasan korkeakoulun julkaisuja = Proceedings of the University of Vaasa
name: Väestöntutkimuslaitos. D
name: Tampereen yliopisto. Sosiologian ja sosiaalipsykologian laitos. Tutkimuksia A
name: Komiteanmietintö. Monistettu sarja
name: Report / Department of Computer and Information Sciences, University of Tampere : B
name: VTT Publication
name: Research reports / Department of Education. University of Jyväskylä
name: Julk. - Etelä-Pohjanm. maak.mus., Luonnont. os
name: National Research and Development Centre for Welfare and Health. Research report
name: Helsingin yliopisto. Maaseudun tutkimus- ja koulutuskeskus. Sarja C
name: Julk.sar. - Maanpuol.korkeak., Tek. laitos, 1 Tutk
name: Teknillinen korkeakoulu. Sovelletun elektroniikan laboratorio. Series B
name: Tutkimuksia / Tampereen yliopisto
name: Helsinki University of Technology. Shipbuilding Laboratory
name: Publications of Amon Anderson Art Museum : New series
name: Acta Universitatis Tamperensis : ser. A
name: Internet publications / Finnish youth research network and Finnish youth research society
name: Research reports / Institute of Sociology and Social Psychology, University of Tampere
name: Oulun yliopisto. Konetekniikan osasto. Raportti
name: Research reports / University of Tampere. Institute of Social Policy
name: Julkaisusarja. 1, Strategian tutkimuksia / Sotatieteen laitos
name: Vesitekniikan laboratorion julkaisuja / Oulun yliopisto. Sarja A
name: Kasvatustieteiden tiedekunnan tutkimuksia / Joensuun yliopisto
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisuja. B
name: Helsingin kauppakorkeakoulun julkaisuja. M
name: Working paper / Jyväskylän yliopisto. Taloustieteen laitos
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja : Sarja A 2, Tutkielmia ja raportteja / Tampereen yliopisto
name: Kasvatustieteiden tiedekunnan opetusmonisteita
name: KTM Julkaisuja / Energiaosasto
name: Julkaisuja / Vaasan korkeakoulu, Länsi-Suomen taloudellinen tutkimuslaitos
name: Aalto yliopiston taideteollisen korkeakoulun julkaisusarja B
name: Research report / Department of teacher Education, University of helsinki
name: Kymenlaakson ammattikorkeakoulun julkaisuja : Sarja D
name: Publications / Kymenlaakson ammattikorkeakoulu , University of Applied Sciences. Series B, Research and reports
name: Teknillinen korkeakoulu. Tietekniikka
name: Hels. yliop. maantieteen laitoksen julk. B
name: Suomen kansan vanhat runot
name: Politiikan ja talouden tututkimuksen laitoksen ulkaisuja
name: Intern. rep. - Hels. Univ. Technol., Lab. Comput. Eng., A
name: Aalto-yliopiston julkaisusarja. Art + design + architecture
name: University of Oulu. Department of Information Processing Science : Series A, Research papers
name: Tutkimusraportti / Teknillinen korkeakoulu. Materiaali- ja kalliotekniikan laitos. Kalliotekniikan laboratorio. A
name: Pirkanmaan liitto : Sarja E, Tiedote
name: Working paper / Jyväskylän yliopisto. Taloustieteiden tiedekunta
name: Etelä-Pohjanmaan liitto : henkilöstökertomus 2013
name: Historiallinen arkisto / Suomen historiallinen seura
name: Tek. korkeak., Tietotek. os., Tietoliik.ohjelmistojen multimed. lab., A
name: Work Research Centre : Series T, Publications / University of Tampere
name: Working papers series / University of Oulu. Department of information processing science. B
name: Julkaisu. Wäinö Aaltosen museo
name: Julk. - Tamp. yliop., Kirj.t. inf. laitos., A, Tutk.rap
name: Reports / Helsinki University of Technology, Laboratory of Paper and Printing Technology. Series A
name: Kuluttajatutkimuskeskus / Julkaisuja
name: Sosiaali- ja terveysministeriö. Esitteitä
name: Publications / University of Tampere. Department of Journalism and Mass Communication : Series D
name: Department of Computer Science, University of Helsinki : Report A

PropertyValue
property ID: FI-MELINDA
value: 000643127

Simulation, reduction, and preservation of correctness properties of parallel systems
is part of: Fennica
publication:
  organizer: Helsingin yliopisto. Tietojenkäsittelytieteen laitos
  organizer: Helsingin yliopisto. Tietojenkäsittelyopin laitos
  location: Hki
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
example of work: Simulation, reduction, and preservation of correctness properties of parallel systems
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
type: CreativeWork
description: kuvitettu
is part of: Julkaisuja / Helsingin yliopisto, viestinnän laitos. Sarja 1
publisher: Helsingin yliopisto. Tietojenkäsittelyopin laitos
isbn: 9514527011
date published: 1982
number of pages: [2], 13, [5] lehteä
publisher: Helsingin yliopisto. Tietojenkäsittelytieteen laitos
type: Instance

PropertyValue
value: 002674412
property ID: FI-MELINDA

PropertyValue
property ID: FI-FENNI
value: 70447

Simulation, reduction, and preservation of correctness properties of parallel systems
type: Work
P60049: http://rdaregistry.info/termList/RDAContentType/1020
author: Tirri, Henry
type: CreativeWork
is part of: Fennica
work example: Simulation, reduction, and preservation of correctness properties of parallel systems
language: en

PropertyValue
property ID: FI-MELINDA
value: 007343810