Julkisjohtaminen
name: Vaasan yliopiston julkaisuja. Tutkimuksia, Jurisprudence, Business Law
name: Sosiaali- ja teveysministeriön monisteita
name: Julkaisusarja (Maanpuolustuskorkeakoulu, sotatekniikan laitos). 1
name: Julk.sar. - Hels. yliop., Yleislääketiet. perusterv.huollon laitos
name: Tutkimuksia / Jyväskylän yliopisto, liikunnan sosiaalitieteiden laitos
name: Moniste
name: Teknillinen korkeakoulu. Materiaalifysiikan laboratorio. Report. C
name: Jyväskylän yliopisto. Kasvatustieteen laitos. A
name: Julkaisuja. B / Wetterhoffin käsi- ja taideteollisuusoppilaitos
name: Julkaisu / Oulun läänin teollisuustoimikunta
name: Research reports / Rolf Nevanlinna Institute. B
name: Tampereen yliopisto, hallintotiede. A, Tutkimuksia
name: FinSoc Working papers
name: Vaasan korkeakoulun julkaisuja. Opetusmonisteita, Hallintotiede
name: Universität Helsinki. Institut für Sozialpolitik
name: Report / Institute of Development Studies, University of Helsinki. B
name: Aalto University publication series. Doctoral dissertations, Doctoral dissertations
name: Kotimaisten kielten tutkimuskeskuksen julkaisuja, issn 0355-5437 ; 45)(suomen kielen näytteitä
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos. Sarja C, Konferenssijulkaisuja ja tieteellisiä artikkeleita
name: Tiede
name: Julkaisu / [Hämeen liitto]. [5]
name: Opetusmoniste
name: Publication series / Ministry of social affairs and health, Finland
name: Series of publications / Department of Computer Science : Report A
name: Report / Department of Mathematics, Statistics and Philosophy, University of Tampere, A
name: Publication series / HEUNI
name: Julkaisuja / Vaasan yliopisto
name: Julkaisusarja 1 / Maanpuolustuskorkeakoulu, Strategian laitos. 25, Strategian tutkimuksia
name: Jyväskylän yliopisto. Liikuntakasvatuksen laitos. Sarja B, Opetusmonisteita
name: Kuukauden kirja ; 0010
name: Arkkitehtuurin osaston julkaisu / Oulun yliopisto. A
name: Tutkimuksia, elsingin yliopiston opettajankoulutuslaitos
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja : C, Tiedotteita
name: Serie : B, Rapport / Helsingfors universitet, institutionen för datavetenskap
name: Research reports / University of Jyväskylä, Department of Special Education
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja A
name: Monistesarja / Helsingin yliopisto, Sosiaalipolitiikan laitos
name: Tampereen yliopiston Liiketaloudellisen tutkimuskeskuksen julkaisuja / Sarja D
name: Pol. hist. julk., E
name: [Kommittébetänkande] : till Hans Kejserliga Majestät af kommittén för verkställande af ekonomisk undersökning af järnvägs-sträckningarna Pieksämäki-Jyväskylä och Suonenjoki-Suolahti underdånigst
name: Työpaperit. F, Taideteollisen korkeakoulun julkaisuja
name: Julkaisu
name: Julkaisuja (Nuorisotutkimusseura)
name: Seutusuunnittelun keskusliitto. Julkaisu. C
name: Publikationer från Vasa universitet : Rapporter
name: Tutkimuksia / Tampereen yliopisto, aluetiede. Sarja B
name: Reports / Helsinki University of Technology, Institute of Mathematics. C
name: Julkaisuja / Maatalouden taloudellinen tutkimuslaitos = Research publications / Agricultural Economics Research Institute, Finland
name: Vaasan yliopisto : Länsi-Suomen taloudellinen tutkimuslaitos
name: Tutkimuksia / Tampereen yliopisto. Sosiaalipolitiikan laitos. Sarja B
name: STAKES. Tutkimuksia
name: Series of publications / Department of Computer Science. B, Report
name: SKS:n toimituksia / Tieto
name: Broschyrer / Social- och hälsovårdsministeriet
name: Working papers / Agrifood Research Finland, Economic Research
name: Tampereen yliopisto. Aluetieteen laitos, tutkimuksia
name: Tek. korkeak., Sovell. termodyn. lab
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja A2, Tutkielmia ja raportteja
name: Taideteollisen korkeakoulun julkaisusarja : C
name: Teknillisen korkeakoulun tietoliikenneohjelmistojen ja multimedian julkaisuja : C / Tietoliikenneohjelmistojen ja multimedian laboratorio
name: Helsingin yliopiston kasvatustieteen laitos. Tutkimuksia
name: Kymenlaakson ammattikorkeakoulun julkaisuja. sarja B, Tutkimuksia ja raportteja
name: (Tiedotteita / Valtion teknillinen tutkimuskeskus
name: Turun yliopiston historian laitoksen julkaisuja
name: Tied. - Valt. tek. tutkimusk., Palotek. lab
name: Reports / Helsinki University of Technology. Department of Forest Products Technology. Laboratory of Paper Technology. Series D
name: Tampereen yliopisto. Sosiologian laitos. Working Papers
name: Julk. - Oulun yliop., Arkkit. os., C
name: Julkaisu / Teknillinen korkeakoulu
name: Julkaisusarja / Sotatieteen laitos. Strategian toimisto. 1, Strategian tutkimuksia
name: Tampereen yliopisto, aluetieteen laitos. Sarja A
name: Hallintotiede / Tampereen yliopisto. B, Yleissarja
name: Publication series / European Institute for Crime Prevention and Control, affiliated with the Unite
name: Opetusjulkaisu
name: Tekniska högskolan i Helsingfors. Skeppshydrodynamiska laboratoriet : M
name: Tiedonanto : Valtion teknillinen tutkimuskeskus, elintarvikelaboratorio
name: Vaasan yliopiston julkaisuja : Tuotantotalous
name: Komiteanmietintö, B
name: Tamp. yliop., Yrit. tal.tieteen yksit.oik. laitos, Sar. C, Konf.julk. tiet. artik
name: Raportti / Teknillinen korkeakoulu, sähkötekniikan osasto, akustiikan ja äänenkäsittelytekniikan laboratorio

Efficient symbolic model checking of concurrent systems
is part of: Julkisjohtaminen
example of work: Efficient symbolic model checking of concurrent systems
isbn: 9789526043487
type: CreativeWork
type: Instance
is part of: Fennica

Efficient symbolic model checking of concurrent systems
example of work: Efficient symbolic model checking of concurrent systems
is part of: Fennica
description: Julkaistu myös verkkoaineistona
type: CreativeWork
type: Instance
is part of: Julkisjohtaminen

Efficient symbolic model checking of concurrent systems
P60049: http://rdaregistry.info/termList/RDAContentType/1020
language: en
about: tietokoneohjelmat
work example: Efficient symbolic model checking of concurrent systems
author: Dubrovin, Jori
about: ohjelmistotekniikka
type: Work
is part of: Fennica
about: UML
type: CreativeWork
about: verifiointi
about: hajautetut järjestelmät

Efficient symbolic model checking of concurrent systems
is part of: Fennica
publication:
  location: Espoo
  organizer: Aalto-yliopisto
description: Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
isbn: 9789526043494
publisher: Aalto-yliopisto
number of pages: 7 verkkoaineistoa (224 s.)
type: CreativeWork
is part of: Julkisjohtaminen
type: Instance
P60050: http://rdaregistry.info/termList/RDAMediaType/1003
P60048: http://rdaregistry.info/termList/RDACarrierType/1018
description: Nimeke nimiösivulta.
type: Book
book format: EBook
example of work: Efficient symbolic model checking of concurrent systems
date published: 2011

Efficient symbolic model checking of concurrent systems
is part of: Julkisjohtaminen
number of pages: xviii, 95, [99] s.
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
date published: 2011
example of work: Efficient symbolic model checking of concurrent systems
description: kuvitettu
publisher: Aalto University, School of Science
isbn: 9789526043487
is part of: Fennica
publication:
  organizer: Aalto University, School of Science
  location: Espoo
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
type: CreativeWork
type: Instance

PropertyValue
value: fx984969
property ID: skl

Efficient symbolic model checking of concurrent systems
type: Instance
is part of: Fennica
type: Book
is part of: Julkisjohtaminen
book format: EBook
example of work: Efficient symbolic model checking of concurrent systems
type: CreativeWork

PropertyValue
property ID: FI-FENNI
value: 984969

Efficient symbolic model checking of concurrent systems
is part of: Fennica
type: CreativeWork
is part of: Julkisjohtaminen
type: Instance
description: Julkaistu myös painettuna
example of work: Efficient symbolic model checking of concurrent systems

Efficient symbolic model checking of concurrent systems
isbn: 9789526043494
is part of: Fennica
type: CreativeWork
is part of: Julkisjohtaminen
type: Instance
example of work: Efficient symbolic model checking of concurrent systems

PropertyValue
value: 005960759
property ID: FI-MELINDA

PropertyValue
value: 005959571
property ID: FI-MELINDA