Poliittisen historian tutkimuksia. D
name: Työpapereita / Taiteen keskustoimikunta = Working papers
name: Teknillinen korkeakoulu. teknillisen fysiikan ja matematiikan osasto. laskennallinen dynamiikka
name: Teknillinen korkeakoulu. Koneinsinööriosasto. Lujuusopin laboratorio
name: [helsingin yliopiston opettajankoulutuslaitos] : [ Tutkimuksia]
name: Julkaisu / Teknillinen korkeakoulu, arkkitehtiosasto, rakennussuunnittelu
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja : C, Tiedotteita
name: Yhteiskuntatieteiden tutkimuslaitos, Tampereen yliopisto : B, Tutkimuksia
name: Publications / Technical Research Centre of Finland
name: Julkaisusarja : tutkimusraportti / Tampereen yliopisto, kasvatustieteiden laitos. A
name: Acta Wasaensia : Science of law
name: Tampereen yliopiston liiketaloudellisen tutkimuskeskuksen julkaisuja. Sarja D
name: Valtiovarainministeriön julkaisuja : Taloudelliset ja talouspoliittiset katsaukset
name: Julkaisuja / Jyväskylän yliopisto, taloustieteellinen osasto, tutkimuskeskus
name: Julkaisu / Kanta-Hämeen seutukaavaliitto. Sarja 1
name: University of Tampere, School of Business Administration. Series A 2, Research reports
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos. 2, Matemaattisia ja luonnontieteellisiä tutkimuksia
name: Oulun yliopisto, Pohjois-Suomen tutkimuslaitos. C
name: Teknillinen korkeakoulu. Teknillisen fysiikan osasto. Report. B
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja : Sarja A 2, Tutkielmia ja raportteja
name: Research reports / Agricultural Economics Research Institute, Finland
name: Vaasan yliopiston julkaisuja : Filologi
name: Tampereen yliopisto. Tutkimuksia Sarja B
name: Julkaisusarja. B, / Pohjois-Pohjanmaan liitto
name: Forskningsrapporter / Statens tekniska forskningscentral
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja : B
name: Raportti : R / Helsingin yliopisto, Seismologian laitos
name: Palmenia series
name: Humak University of Applied Sciences Publications
name: Katsauksia / Väestöntutkimuslaitos. E
name: Koulutuksen tutkimuslaitoksen julkaisusarja. A, Tutkimuksia
name: Rap. - Tek. korkeak., Sähkötek. os., Akust. äänenkäs.tek. lab
name: Series / Finnish National Defence University, Department of Military Technology. 1, Report Series
name: Valtion teknillinen tutkimuskeskus : biotekniikan laboratorio : kehittämissuunnitelma 1976-1980
name: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
name: Julk. - Oulun läänin teollisuustoimik
name: Суоми
name: Teknillinen korkeakoulu. konetekniikan osasto. energiatekniikan laitos
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Kansantaloustiede
name: Series of publications / Department of Computer Science : Report A
name: Yhteiskuntatieteiden tutkimuslaitos / Tampereen yliopisto. D
name: Julkaisusarja / Tampereen yliopisto. Hoitotieteen laitos. A
name: Teknillinen korkeakoulu, energiatekniikan laitos, lämpötekniikka ja koneoppi
name: Hels. yliop. hist. laitok. julk
name: Kuukauden kirja. 103
name: Hämeen liitto. Julkaisu. 2
name: Report / Department of Mathematical Sciences, University of Tampere : A
name: KTM rahoitetut tutkimukset
name: Series of publications / Department of Computer Science, University of Helsinki. B
name: Julkaisut / Tampereen teknillinen korkeakoulu
name: Publications of the Population Research Institute. Serie D
name: Siirtolaisuustutkimuksia A35
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja : B, Teoriaa ja käytäntöä
name: Julk.sar. - Turun yliop. kasv.tieteiden tiedek., C, Opintomon
name: Helsingin yliopisto. Tietojenkäsittelyopin laitos. Julkaisu
name: Pirkanmaan liiton julkaisu. A
name: Series / National Defence University, Department of strategic and defence studies. 1, Strategic research
name: Helsingin yliopiston Tutkimus- ja koulutuskeskus Palmenia. Oppimateriaaleja
name: Tampereen yliopisto
name: Kymenlaakson ammattikorkeakoulun julkaisuja
name: Liiketaloustiede, Laskentatoimi
name: Sairaalaliiton julkaisu
name: Social- och hälsovårdsministeriets stenciler
name: Tampereen teknillinen korkeakoulu. Lämpötekniikka. Raportti
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja, Tampereen yliopisto. Sarja B 2, Opetusmonisteita
name: Series / National Defence College, Department of Strategic and Defence Studies. 1, Strategic Research
name: Publication / Tampere University of Technology, Department of Civil Engineering, Structural Engineering
name: Komiteanmietintö = Kommittébet��nkande
name: Pohjois-Savon ammattikorkeakoulun julkaisusarja : A
name: [Oppimateriaaleja / Helsingin yliopisto, Lahden tutkimus- ja koulutuskeskus]
name: Opettajakorkeakoulun julkaisuja D / Hämeen ammattikorkeakoulu
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos. Sarja C, Konferenssijulkaisuja ja tieteellisiä artikkeleita
name: Publications / Agrifood Research Finland
name: Helsinki University of Technology, Telecommunications Software and Multimedia Laboratory : Series C
name: Suomi : Finland : Tiekartta : Vägkarta : Road map : Strassenkarte
name: Teaching monographs / University of Helsinki, Lahti Research and Training Centre
name: Julkaisuja / Turun yliopiston historian laitos
name: Suomen teologisen kirjallisuuseuran julkaisuja
name: Ad hoc committee reports / Ministry of Trade and Industry, Finland
name: Julkaisuja / Nuorisotutkimusverkosto & Nuorisiotutkimusseura
name: Proceedings of the University of Vaasa. Working Papers

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

PropertyValue
property ID: FI-MELINDA
value: 003993407

PropertyValue
value: fx270649
property ID: skl

PropertyValue
value: 270649
property ID: FI-FENNI

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