Tiedotteita / VTT
name: Terveystieteen laitos, Jyväskylän yliopisto : Sarja C, Opetusmonisteita
name: Rep. - Hels. Univ. of Technol., Dep. Tech. Phys., C
name: Teknillinen korkeakoulu. Konetekniikan osasto. Laivanrakennustekniikan laboratorio : M
name: Oppaita - Sos.- terv.alan tutk.- kehitt.k
name: Julkaisusarja B / Turun yliopiston kasvatustieteiden tiedekunta
name: Pohjois-Savo Polytechnic : D
name: Tampereen teknillinen korkeakoulu. Arkkitehtuurin osasto. Rakennussuunnittelun laitos. Julkaisu
name: Matkailun koulutus- ja tutkimuskeskuksen julkaisuja : Sarja C
name: Sosiaali- ja terveyshallintotiede
name: Report / Department of Computer and Information Sciences, University of Tampere : B
name: University of Oulu. Institute of Data Processing : Ser. B
name: Helsinki University of Technology. Digital Systems Laboratory. Series A
name: Tiedotteita : Valtion teknillinen tutkimuskeskus
name: Julk. - Tamp. tek. korkeak., Liik.- kulj.tek
name: Raportteja ja selvityksiä / Helsingin yliopiston tutkimus- ja koulutuskeskus Palmenia
name: Publications / Finnish Youth Research Network and Finnish Youth Research Society
name: Teknillinen korkeakoulu. tietotekniikan osasto. tietojenkäsittelyopin laboratorio. B
name: Tampereen seutukaavaliitto. Kansaterveystieteen laitos. Julkaisusarja. B, Opetusmonisteita
name: Julkaisuja / Suomen matkailun kehitys. A
name: [Julkaisu] / Insinöörijärjestöjen koulutuskeskus]
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Filologia
name: Report / University of Helsinki, Institute of Development Studies. B
name: Työpapereita / Helsingin yliopisto, kasvatustieteen laitos, toiminnan teorian ja kehittävän työntutkimuksen yksikkö
name: Kenttä
name: Yrityksen taloustieteen ja yksityisoikeuden laitos / Tampereen yliopisto. Sarja A3, Työpapereita
name: MTI Financial studies / Industries department
name: Raportteja / Sosiaali- ja terveyslan tutkimus- ja kehittämiskeskus
name: Publication series of the University of Art and Design Helsinki UIAH B
name: Työpaperit : Taideteollisen korkeakoulun julkaisusarja / Taideteollinen korkeakoulu. F
name: Publication series / Finnish National Defence College, Department of Education, Research reports. 2
name: Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja. B
name: Yhteiskuntatieteiden tutkimuslaitos / Tampereen yliopisto. D
name: Tiedonanto / Valtion teknillinen tutkimuskeskus, elintarvikelaboratorio
name: University of Oulu. Department of Information Processing Science : Sarja C, Opetusmonisteet
name: Tampereen yliopisto, turvallisuushallinto : A
name: Tietojenkäsittelytieteen laitoksen julkaisuja : Sarja B, Raportti / Helsingin yliopisto
name: HUCH, Jorvi Hospital publications. Series A
name: Kauppa- ja teollisuusministeriön tutkimuksia ja raportteja / Markkinaosasto
name: [Julkaisusarja / Valtion koulutuskeskus]
name: Taideteollisen korkeakoulun julkaisuja. B
name: Tamp. yliop., Sosiol. sos.psykol. laitos, A, Tutk
name: Helsinki School of Economics Computer Centre
name: Helsingin kauppakorkeakoulu. E, Selvityksiä
name: Helsinki University of Technology. Telecommunications Software and Multimedia Laboratory. Series A
name: Historian tutkimuksia = Studies in history
name: Julkaisu / Hämeen ammattikorkeakoulu. D
name: Julkaisusarja / Sotatieteen Laitos. Strategian toimisto. 1, Strategian tutkimuksia
name: Katsauksia E / Väestöliitto. Väestöntutkimuslaitos
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Naistutkimusyksikkö
name: Lapin seutukaavaliitto. Julkaisu. Sarja C
name: Valtion teknillinen tutkimuskeskus, Tutkimuksia
name: Julkaisuja / TTKK, A, yhdyskuntasuunnittelun laitos
name: Julkaisusarja / Tampereen yliopisto, kasvatustieteiden laitos : B
name: Seutusuunnittelun keskusliitto. Julkaisu. A
name: Tutkimuksia / Tampereen yliopiston sosiologian ja sosiaalipsykologian laitoksen sarja. A
name: Tutkimuksia / Tampereen yliopisto. Sosiaalipolitiikan laitos. Sarja B
name: Julkaisu / Lappeenrannan teknillinen yliopisto, koulutus-ja kehittämiskeskus
name: Julkaisusarja. Kehitysyhteistyön palvelukeskus
name: Aiheita / STAKES
name: Valtiovarainminist. työryhmämuistioita
name: Sosiaali- ja terveysministeriön selvityksiä (Painettu)
name: Suomalaisen teologinen kirjallisuusseuran julkaisuja
name: KASVATUSTIETEIDEN TUTKIMUSLAITOKSEN JULKAISUSARJA B. TEORIAA JA KÄYTÄNTÖÄ
name: Työryhmämuistio / Työministeriö
name: Publications. Finnish Copyright Society
name: Publications of the Ministry of Education, Finland
name: Hels. yliop. sosiaalipsykol. laitoksen energ.julk
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja B 1, Oppikirjoja
name: NUORAn julkaisuja / Opetusministeriö
name: Raportti / Tietojenkäsittelytieteiden laitos, Tampereen yliopisto. B
name: Research reports / University of Tampere. Department of Social Policy and Social Work : Series A
name: Julkaisut / Tampereen teknillinen korkeakoulu
name: Julkaisu / Oulun yliopisto. Arkkitehtuurin osasto.. C
name: Julkaisuja / Helsingin yliopiston Kansainvälisen talousoikeuden instituutti
name: Skrifter utgivna av Svenska litteraturs��llskapet i Finland
name: Oulun yliopisto. Tietojenkäsittelyopin laitos. B
name: Levón-instituutin julkaisuja / Vaasan yliopisto
name: Reviews / Statistics Finland
name: [Oulun yliopisto]. Tietojenkäsittelyopin laitos. Sarja B
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta. C, Oppimateriaalit

Validating correctness with behavioural abstractions
is part of: Tiedotteita / VTT
isbn: 9521514566
example of work: Validating correctness with behavioural abstractions
publisher: Tampereen teknillinen yliopisto
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
date published: 2005
number of pages: x, 53, [65] s.
type: CreativeWork
description: kuvitettu
publisher: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
publisher: Tampereen teknillinen korkeakoulu
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: Tiivistelmä ja 5 erip.
publication:
  location: Tampere
  organizer: Tampereen teknillinen korkeakoulu
  organizer: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
P60048: http://rdaregistry.info/termList/RDACarrierType/1048
type: Instance
is part of: Fennica
publication:
  location: Tampere
  organizer: Tampereen teknillinen yliopisto

PropertyValue
property ID: FI-MELINDA
value: 000432237

Validating correctness with behavioural abstractions
type: Work
P60049: http://rdaregistry.info/termList/RDAContentType/1020
language: en
type: CreativeWork
is part of: Fennica
work example: Validating correctness with behavioural abstractions
author: Aaltonen, Timo

PropertyValue
property ID: FI-MELINDA
value: 005197948

PropertyValue
property ID: skl
value: fx810006

PropertyValue
value: 810006
property ID: FI-FENNI