Council of Oulu Region : A
name: Publications. Dissertation series / Helsinki University of Technology, SimLab
name: Sosiaalipolitiikanlaitoksen tutkimuksia / Tampereen yliopsito. Sarja C, Sosiaalipolitiikan käytäntö ja opetus
name: Acta Univ. Tamp., B
name: Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus. Tutkimuksia
name: Teknillisen korkeakoulun geodesian ja kartografian laboratorion julkaisuja
name: Tampereen yliopisto. B, Tutkimuksia ja monisteita, Yrityksen taloustieteen ja yksityisoikeuden laitos
name: Business Administration : Marketing
name: Series / National Defence University, Department of strategic and defence studies. 1, Strategic research
name: Acta Wasaensia : Jurisprudence / Universitas Wasaensis
name: Hämeen liiton julkaisu. 5V
name: Kanta-Hämeen seutukaavaliitto. Julkaisu. 2
name: Tiedonanto / Valtion teknillinen tutkimuskeskus. Elintarvikelaboratorio
name: Tutk. - Hels. yliop. kasvatustiet. laitos
name: Tampereen yliopisto, hallintotieteen laitos : Sarja A, Tutkimuksia
name: Tilastotiedote / Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus = Statistikmeddelande / Forsknings- och utvecklingscentralen för social- och hälsovården
name: Julkaisusarja / Tampereen yliopiston kasvatustieteen laitos. A. A, tutkimusraportti
name: Raportteja / Kuntokallio
name: Tiedonantoja / Maatalouden taludellinen tutkimuslaitos
name: Julkaisu : D / Hämeen ammattikorkeakoulu
name: Helsinki University of Technology, Automation Technology Laboratory : Series B, Technical reports
name: Helsingin yliopisto, Maaseudun tutkimus- ja koulutuskeskus. Sarja B
name: Studies / Finnish Centre for Pensions
name: Helsingin kauppakorkeakoulun selvityksiä. E
name: Helsinki University of Technology Laboratory of Environmental Protection publication
name: Suomi (Hels., 1841)
name: Matkailun koulutus- ja tutkimuskeskus. Julkaisu. D
name: Helsinki University of Technology. CT
name: SHM:s publikationer
name: Valtion teknillinen tutkimuskeskus. VTT:n tutkimuksia
name: Helsinki University of Technology Publications in Engineering Physics. B
name: Taideteollisen korkeakoulun julkaisusarja. B
name: Valtion teknillinen tutkimuskeskus. Maankäytön laboratorio. Tiedonanto
name: Julk. - Keski-Suom. liitto, A (Pain.)
name: Julkaisuja / Maa-ja elintarviketalouden tutkimuskeskus
name: Joensuun yliopisto. Kasvatustieteellisiä julkaisuja
name: Teknillinen korkeakoulu. M, laivalaboratorio
name: Kauppa- ja teollisuusministeriön työryhmä- ja toimikuntaraportteja / Uusiutuvan energian työryhmä
name: Julkaisusarja / Tampereen yliopisto, Hoitotieteen laitos. A
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos. B
name: Humak University of Applied Sciences Library University of Applied Sciences : Series C, Educational materials
name: Work Research Centre : Series T, Publications / University of Tampere
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Strategian laitos. 4, Työpapereita
name: Tampereen teknillinen korkeakoulu : rakennustekniikan osasto, rakentamistalous
name: Publications / University of Helsinki, Department of Communication
name: Savonia-ammattikorkeakoulun julkaisusarja. B
name: Julk. - Lappeenrannan tek. yliop., Koul.-kehitt.k
name: Julkaisu / Helsingin yliopisto, tietojenkäsittelyopin laitos. A
name: Työryhmämuistio / Sosiaali- ja terveysministeriö]
name: Brochures / Ministry of social affairs and health
name: Julk. - Tamp. tek. korkeak., Raken.tek. os., Talonraken.tek
name: Arbetsgruppspromemorior / Finansministeriet
name: Julkaisu / Arkkitehtiosasto, rakennussuunnittelun laitos, Teknillinen korkeakoulu. A
name: Report / University of Helsinki. Department of Computer Science. A
name: Tampereen yliopisto. kasvatustieteiden laitos. B, Opetusmonisteet
name: Julkaisu / Viherympäristöliitto
name: Päijät-Hämeen seutukaaval. julk., C
name: Teknillinen korkeakoulu : Laivalaboratorio. M
name: Raportti / Teknillinen korkeakoulu. Akustiikan ja äänenkäsittelyn laboratorio
name: Skrifter utgivna av Svenska litteraturs��llskapet i Finland
name: Raportti / [Helsingin] teknillinen korkeakoulu. Teknillisen fysiikan osasto. B
name: Tiedonanto / Valtion teknillinen tutkimuskeskus, poltto- ja voiteluainelaboratorio
name: Aiheita / Stakes
name: Julkaisusarja. B, Katsauksia / Varhaiskasvatuksen laitos
name: Teknillinen korkeakoulu : Talonrakennustekniikka. Pohjarakennus ja maamekaniikka
name: Publication series : 2, Article collection / National Defence University, Department of Leadership and Military Pedagogy
name: Tampereen teknillinen korkeakoulu, rakennustekniikan osasto
name: Teknillinen korkeakoulu. Teknillisen fysiikan laitos. Report. A
name: Julk. - Tampereen tek. korkeak
name: Oulun yliopiston arkkitehtuurin tiedekunnan julkaisuja. B
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Sarja A
name: Tampereen yliopisto / Aluetieteen laitos. Sarja A
name: Teknillinen korkeakoulu talonrakennusteknikan laboratorion julkaisuja = Helsinki University of Technology Laboratory of Structural Engineering and Building Physics publications
name: Turvallisuushallinto. A
name: Raportti (Tamp.)
name: Izdanie / Regional'nyj Soûz Severnoj Poh"ânmaa
name: Tiedonantoja / Tampereen yliopisto, aluetieteen ja ympäristöpolitiikan laitos
name: Teknillinen korkeakoulu, täydennyskoulutuskeskus, tietopalvelukurssi
name: Publications : Report series / Aalto University, School of Science and Technology, SimLab
name: Suomen kotiseutuliiton julkaisusarja. B
name: Työ ja liikunta

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

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

PropertyValue
property ID: FI-MELINDA
value: 005197948

PropertyValue
value: fx810006
property ID: skl

PropertyValue
value: 810006
property ID: FI-FENNI

PropertyValue
property ID: FI-MELINDA
value: 000432237