Studies in history / University of Joensuu. Faculty of Arts
name: [Kommittébetänkande] : till Hans Kejserliga Majestät från kommittén för utarbetande af en ny sjölag m.m., underdånigst
name: Stud. biogr
name: Pohjois-Savon ammattikorkeakoulun julkaisusarja. C, Matkailu- ja ravitsemisala
name: Aiheita / Sosiaali- ja terveyslan tutkimus- ja kehittämiskeskus
name: Tiedotteita / Valtion Teknillinen Tutkimuskeskus
name: Varhaiskasvatuksen laitoksen julkaisusarja. B, Katsauksia
name: Rep. - Dep. Meteorol., Univ. Hels
name: Suomalaisen Kirjallisuuden Seuran toimituksia, 17 osa
name: Rapporter / MTT Ekonomisk forskning
name: Rap. - Tek. korkeak., LVI-lab., B
name: Julkaisuja/Nuorisotutkimusverkosto
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Strategian laitos. 4, Työpapereita
name: [Aalto-yliopiston julkaisusarja] : Väitöskirjat
name: Julkaisusarja. 1, Tutkimuksia / Maanpuolustuskorkeakoulu
name: Jyväskylän yliopiston tutkimuksia
name: Julkaisu / [Helsingin] teknillinen korkeakoulu, arkkitehtiosasto, rakennussuunnittelun laitos. A
name: Research reports / Institute of Migration
name: Helsinki University of Technolgy, Laboratory of Applied Thermodynamics
name: Julkaisu / Helsingin teknillinen korkeakoulu. Akustiikan laboratorio
name: Helsingin teknillinen korkeakoulu, tietekniikka
name: Publications of the University of Industrial Arts : A
name: University of Helsinki : Department of Computer Science. Series of publications B
name: Taideteollisen korkeakoulun julkaisusarja : B
name: Kanta-Hämeen seutukaavaliitto. Julkaisuja
name: Raportti / Tampereen yliopisto, Matemaattisten tieteiden laitos. A
name: Komiteanmietintö. B
name: Pohjois-Suomen tutkimuslaitoksen monisteita
name: Jyväskylän yliopisto. Liikuntakasvatuksen laitos. Sarja C, Katsauksia
name: Acta Wasa., Adm. sci
name: Report / Helsinki Telephone Corporation, Research
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos. Sarja D
name: Research reports. Helsinki University of Technology. Laboratory for Theoretical Computer Science. A
name: Acta Wasaensia, Business administration
name: Oulun yliop., Pohjois-Suom. tutk.l., B
name: Terveystieteen laitos, Jyväskylän yliopisto : Sarja B, Katsauksia
name: Lapin seutukaavaliitto. Julkaisu. Sarja C
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name: Acta Wasaensia. Economics
name: Julkaisuja / Helsingin yliopisto. Sarja 2 A
name: Acta Universitatis Tamperensis. Ser A, vol
name: Acta Academiae socialis. Ser. B
name: Maanpuolustuskorkeakoulu. Johtamisen ja sotilaspedagogiikan laitos. Julkaisusarja 1
name: Publications / Centre for Women's Studies and Gender Relations. Series N
name: Julkaisu / Jyväskylän yliopisto, Keski-Suomen taloudellinen tutkimuskeskus
name: Päijät-Hämeen seutukaavaliiton julkaisu. B
name: Julkaisu / Etelä-Pohjanmaan liitto. C
name: Kymenlaakson ammattikorkeakoulun julkaisuja : Sarja C. Opinnäytetyöt
name: Julk. - Joensuun yliop., Maant. laitos
name: Valtion Teknillinen Tutkimuskeskus, Tiedotteita
name: VTT science
name: Acta Academiae Aboensis : Series A, Humaniora
name: Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja. B
name: Julkaisu / [Teknillinen korkeakoulu], talonrakennustekniikan laboratorio
name: VTT tiedotteita, bio- ja elintarviketekniikka
name: Julkaisuluettelo
name: Julk. - Turun yliop., Poliittinen hist., E
name: Taideteollisen korkeakoulun julkaisusarja
name: Tamp. tek. korkeak., Rakenn.tek. os., Vesitek
name: Publications in telecommunications software and multimedia : A
name: Research / University of Jyväskylä, Department of Teacher Education
name: Koulutuksen tutkimuslaitoksen julkaisusarja. B, Teoriaa ja käytäntöä
name: Univ., Tamp., Dep. econ., E, Discuss. pap
name: Research reports / Helsinki University of Technology, Institute of Mathematics. A
name: Suomen tiedettä ; 0003
name: Raportti / Teknillinen korkeakoulu. Akustiikan ja äänenkäsittelytekniikan laboratorio
name: Terveys (Hels., 1988)
name: Suomalaisen Kirjallisuuden Seuran Toimituksia
name: Stakes
name: Helsinki University of Technology. Telecommunications Software and Multimedia Laboratory. Series A
name: Hallintotede. C, Työpapereita
name: Acta Wasaensia. Kirjallisuuden- ja kulttuurintutkimus
name: [helsingin yliopiston opettajankoulutuslaitos] : [ Tutkimuksia]
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian laitoksen tutkimuksia. A
name: Raportti / Teknillinen korkeakoulu, Akustiikan ja äänenkäsittelytekniikan laboratorio
name: Hels. Univ. Technol., Fac. Electr. Commun. Eng., Lab. Telecommun. Technol
name: Teknillinen korkeakoulu, tietotekniikan osasto, tietojenkäsittelyopin laboratorio : C
name: Tutkimuksia / Helsingin yliopisto, Opettajankoulutuslaitos
name: Finland : road map
name: Helsingin kauppakorkeakoulun julkaisusarja. C
name: Pohjois-Savon ammattikorkeakoulun julkaisut : B

PropertyValue
value: 899487
property ID: FI-FENNI

Symbolic model checking of hierarchical UML state machines
author: Dubrovin, Jori
work example: Symbolic model checking of hierarchical UML state machines
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
P60049: http://rdaregistry.info/termList/RDAContentType/1020
is part of: Fennica
type: CreativeWork
contributor: Junttila, Tommi
type: Work
language: en

Symbolic model checking of hierarchical UML state machines
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Fennica
number of pages: v, 19 sivua
type: Instance
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
publisher: Teknillinen korkeakoulu
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: Julkaisuun painettu virheellinen ISSN.
isbn: 9789512291915
type: CreativeWork
date published: 2007
example of work: Symbolic model checking of hierarchical UML state machines
is part of: Studies in history / University of Joensuu. Faculty of Arts
description: Julkaisussa virheellinen ISSN-tunnus: 0783-540X.
description: kuvitettu

PropertyValue
property ID: skl
value: fx899487

PropertyValue
property ID: FI-MELINDA
value: 003945457