Helsinki University of Technology, Faculty of Mechanical Engineering, Department of Energy Engineering
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunnan julkaisuja. B, Selosteita
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian sarja, B, Työraportteja
name: Tampereen teknillinen korkeakoulu : rakennustekniikan osasto : rakentamistalous
name: Julk. - Oulun yliop., Vesirakenn.tek. laitos
name: Kotimaisten kielten tutkimuslaitoksen julkaisuja
name: Siirtolaisuustutkimuksia / Siirtolaisuusinstituutti. A
name: Publication series of the University of Art and Design Helsinki UIAH : B
name: Julkaisusarja / Maanpuolustuskorkeakoulu. Taktiikan laitos. 2, Taktiikan asiatietoa
name: Report / University of Oulu, Department of Mechanical Engineering
name: Ekonomisk forskning rapporter
name: Report / [Helsinki University of Technology, Department of Technical Physics]. A
name: Pohjois-Suomen tutkimuslaitoksen monisteita
name: Report / Technical research Centre of Finland. Fire technology laboratory
name: Komiteamietintö / Ympäristöministeriö
name: Vaasan yliopiston julkaisuja, Tutkimuksia. Business administration. Accounting and finance
name: Publications / University of Helsinki, Department of Communication : Series 1
name: [Komiteanmietintö]. A = Kommittébetänkande
name: Research reports / Department of Sociology and Social Psychology, University of Tampere : A
name: Jyväskylän yliopisto. Research reports
name: Suomalaisen Kirjallisuuden Seuran toimituksia, 1041
name: Pohjois-Pohjanmaan liiton julkaisu : B
name: Aalto-yliopiston taideteollisen korkeakoulun julkaisusarja A
name: Helsingin yliopisto. Opettajankoulutuslaitos. Tutkimuksia
name: Työpaperit
name: Julkaisuja / Yleisen kielitieteen laitos, Helsingin yliopisto = Publications of the department of General Linguistics, University of Helsinki
name: Stencils of Ministry of Social Affairs and Health
name: Julkaisu / Tampereen teknillinen korkeakoulu, liikenne- ja kuljetustekniikka
name: Julkaisu. B / Oulun yliopisto, arkkitehtuurin osasto
name: Julkaisusarja / Maanpuolustuskorkeakoulu, strategian laitos. 2, tutkimusselosteita
name: Julkaisu : Sarja B
name: Lappeenrannan teknillisen korkeakoulu: Kestävä paperi, raportti
name: Julkaisusarja / Sotatieteen laitos. Strategian toimisto. 1, Strategian tutkimuksia
name: Suomen kirkkohistoriallisen seuran toimituksia, 0001
name: Helsingin yliopisto : Lahden tutkimus- ja koulutuskeskus
name: Report : B / Helsinki University of Technology, Laboratory of Heating, Ventilating and Air Conditioning
name: Hallintotiede. A, Tutkimuksia
name: Tiedonanto / Valtion teknillinen tutkimuskeskus, rakennustekniikan laboratorio
name: Tamp. yliop., Kasv.t. laitos, B Opet.monist
name: Vaasan yliopiston julkaisuja. Tutkimuksia, Oikeustiede
name: Julkaisusarja / Maanpuolustuskorkeakoulu, johtamisen ja sotilaspedagogiikan laitos. 2, Artikkelikokoelmat
name: Acta Wasaensia : Regional studies / Universitas Wasaensis
name: Sosiaalipolitiikan laitos. Sarja B / Turun yliopisto
name: Helsinki University of Technology, Faculty of Electrical and Communications Engineering, Laboratory of Telecommunications Technology
name: VTT tiedotteita = meddelanden = research notes
name: Sosiaali- ja terveyshallitus. Oppaita
name: Tampereen yliopisto. Sosiologian ja sosiaalipsykologian laitos. Tutkimuksia A
name: Julkaisu / Tampereen teknikkinen korkeakoulu, rakennustelniikan osasto, talonrakennustekniikka
name: Valtion teknillinen tutkimuskeskus Tiedotteita
name: Rerport / Helsinki University of Technology, Department of Technical Physics. B
name: Publications / University of Helsinki, Mikkeli Institute for Rural Research and Training
name: Tampereen yliopisto. Tiedotusopin laitos. Julkaisuja. Sarja A
name: Suomi : tiekartta = Finland : vägkarta = road map
name: Aalto-yliopiston julkaisusarja : Väitöskirjat
name: Tampereen teknillinen korkeakoulu, rakennustekniikan osasto, rakentamistalous
name: Matkailun koulutus- ja tutkimuskeskus. Julkaisu. E
name: Hels. yliop. yksit.oik. laitoksen julk., C
name: Raportti : B / Teknillinen korkeakoulu, LVI-tekniikan laboratorio
name: Julkaisuja / Turun yliopisto, poliittinen historia. C
name: Rapporter / MTT Ekonomisk forskning
name: Tampereen teknillinen korkeakoulu : Rakennustekniikan osasto, Vesitekniikka
name: Hämeen ammattikorkeakoulu / Julkaisuja
name: Kymenlaakson ammattikorkeakoulun julkaisuja. Sarja a, Oppimateriaali
name: Tutkimuksia ja selvityksiä / Asuntohallitus. Tutkimus- ja suunnitteluosasto
name: Teknillinen korkeakoulu. konetekniikan osasto. laivanrakennustekniikan laboratorio. M
name: Teknillinen korkeakoulu, energiatekniikan laitos, sovelletun termodynamiikan laboratorio
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja A. A, Tutkimuksia
name: Jyväskylän yliopisto. Liikuntakasvatuksen laitos. Sarja B, Opetusmonisteita
name: Geodesian ja kartografian laboratorion julkaisu / Teknillinen korkeakoulu. Kartografia ja paikkatietojärjestelmät
name: Insinöörijärjestöjen koulutuskeskus;. Julkaisu
name: Hämeen liiton julkaisu. 1A
name: Yhteiskuntatieteellisiä julkaisuja
name: Jonsuun yliopiston yhteiskuntatieteellisiä julkaisuja
name: Tek. korkeak., Täydennyskoul.k., Tietopalv.k
name: Raportti / Teknillinen korkeakoulu, akustiikan ja äänenkäsittelytekniikan laboratorio
name: Julkaisuja / Helsingin yliopisto, viestinnän laitos. Sarja 2 A
name: Hels. Univ. Technol., Appl. Electron. Lab., A
name: Reports from the Language Centre / University of Jyväskylä
name: Lastensuojelun keskusliitto. Julkaisu
name: Helsingin yliopisto : Maaseudun tutkimus- ja koulutuskeskus, Seinäjoki. Sarja B
name: Vaasan korkeak. julk., Opet.mon., Liiketal.t

PropertyValue
property ID: FI-MELINDA
value: 003993407

Alleviating state explosion during verification of behavioural equivalence
author: Valmari, Antti
type: Work
type: CreativeWork
work example: Alleviating state explosion during verification of behavioural equivalence
P60049: http://rdaregistry.info/termList/RDAContentType/1020
is part of: Fennica
language: en

PropertyValue
property ID: skl
value: fx270649

Alleviating state explosion during verification of behavioural equivalence
is part of: Fennica
number of pages: 57, [4] s.
example of work: Alleviating state explosion during verification of behavioural equivalence
type: CreativeWork
publication:
  organizer: University of Helsinki, Department of Computer Science
  location: Helsinki
type: Instance
publisher: University of Helsinki, Department of Computer Science
description: kuvitettu
date published: 1992
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Helsinki University of Technology, Faculty of Mechanical Engineering, Department of Energy Engineering
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
isbn: 951456216X

PropertyValue
value: 270649
property ID: FI-FENNI