Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
name: Kasvatustieteiden tiedekunnan opetusmonisteita / Joensuun yliopisto / Joensuun yliopisto
name: Mathematics and statistics
name: University of Oulu. Department of Information Processing Science : Series B, Working papers
name: Kotimaisten kielten tutkimuskeskuksen julkaisuja
name: Vaasan korkeak. julk., Opet.mon., Kielitiede
name: Talousarvio 2010 ja talousssuunnitelma 2011-2012
name: Ministry of Education publications
name: Julkaisusarja / Maanpuolustuskorkeakoulu, taktiikan laitos. 2, Taktiikan asiatietoja
name: Julkaisu / Talonrakennustekniikan laboratorio, Teknillinen korkeakoulu
name: Rep. - Lab. Paper Technol., A
name: Publication series / University of Art and Design Helsinki UIAH : F, Working papers
name: Helsinki University of Technology, Department of Engineering Physics and Mathematics : A
name: Aalto University publication : Art + design + architecture
name: Tampereen yliopisto. Aluetieteen laitos. Sarja A
name: [julkaisu]
name: Keski-Suomen taloudellinen tutkimuslaitos. Julkaisuja
name: Vankeinhoidon koulutuskeskuksen opetusmoniste
name: Julkaisusarja. A / Tampereen yliopiston täydennyskoulutuskeskus
name: Teknillinen korkeakoulu. tietotekniikan osasto. laskennallinen dynamiikka
name: Julkaisusarja. A, Tutkimuksia ja selvityksiä / Tampereen yliopisto, kansanterveystieteen laitos
name: Suomalaisen kirjallisuuden Seuran toimituksia
name: Tampereen yliop. Kansantaloust. laitos, B
name: Jyväskylän yliopisto. Kansanterveyden laitos. Sarja B, Katsauksia
name: Julkaisuja / Jyväskylän yliopisto. Keski-Suomen taloudellinen tutkimuskeskus
name: Tiedonantoja / Tampereen yliopisto, aluetieteen laitos
name: Vaasan korkeakoulun julkaisuja, Opetusmonisteita. Informatiikka
name: Tampereen yliopisto, hallintotieteen laitos : Series A, Research reports
name: Research reports / Helsinki University of Technology, Institute of mathematics. A
name: Sarja A. / Tampereen yliopisto, Aluetieteen laitos
name: Julk.sar. - Maanpuol. korkeak., Koul.taidon laitos, 2 Tutk
name: Julk. - Tamp. tek. korkeak., Liik.- kulj.tek
name: Vaasan kauppakorkeakoulun julkaisuja. Maantiede
name: Tutkimuksia / Tampereen yliopisto. Sarja B
name: Tiede, teknologia ja tietoyhteiskunta / Tilastokeskus, Katsauksia
name: Moniste / Tampereen yliopisto, matemaattisten tieteiden laitos. B
name: Verkkojulkaisuja / Nuorisotutkimusseura, Nuorisotutkimusverkosto
name: Julkaisuja / Tampereen yliopisto
name: Julkaisuja (Nuorisotutkimusseura)
name: National Defence University, Department of Strategic Studies. Series 1, Strategic research
name: Tampereen teknillinen korkeakoulu. rakennustekniikan osasto. rakentamistalous
name: Teknillinen korkeakoulu. Teknillisen fysiikan osasto. Report
name: Julkaisusarja / Väestöntutkimuslaitos : D
name: Julkaisuluettelo
name: FinSoc working papers
name: Educational sciences research report / University of Helsinki, Institute of Behavioural Sciences
name: Julkaisuja / Tampereen yliopisto. Kirjastotieteen ja informatiikan laitos. A, Tutkimusraportit
name: Helsingin yliopiston maaseudun tutkimus- ja koulutuskeskus. Sarja A
name: Department of Social Policy research reports / University of Helsinki
name: Department of Computer Science publications : Series B, Report
name: Julkaisuja / Hämeen ammattikorkeakoulu. A
name: Observatory reports / University of Helsinki
name: Julkaisu / [Helsingin] teknillinen korkeakoulu, arkkitehtiosasto, rakennussuunnittelun laitos. A
name: Series of publications / University of Tampere, Department of Computer and Information Sciences : B
name: University of Tampere, School of business administration. Series A 1, Studies
name: Stakes
name: Julk.sar. - Tamp. yliop., Kansanterv.t. laitos, B
name: Raportteja ja tiedotteita / Tampereen yliopisto, yhteiskuntatieteiden tutkimuslaitos. D
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja. B
name: Publ. - Hels. Univ. Tech., Acoust. Lab
name: Helsingin kauppakorkeakoulun julkaisuja. C
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja. C, Tiedotteita = Pedagogiska forskningsinstitutet. Publikationsserie C. Meddelande
name: Julkaisu / Helsingin teknillinen korkeakoulu, liikennetekniikka
name: Rap. - Tamp. tek.korkeak., Lämpötek. koneopin lab
name: Tampereen teknillinen korkeakoulu. Tie- ja liikennetekniikka. Julkaisu
name: Helsingin yliopisto, Kodin taloustieteen laitoksen julkaisuja
name: Tutkimuksia / Tampereen yliopisto. [Aluetieteen laitos]. Sarja B
name: Gösta Serlachiuksen taidesäätiön julk
name: Tampereen yliopiston täydennyskoulutuskeskuksen julkaisusarja A
name: [Kommittébetänkande] : till Hans Kejserliga Majestät från representationsreformkomitén underdånigst
name: Kehitysvammaliitto. Valtakunnallisen tutkimus- ja kokeiluyksikön julkaisuja
name: Tampereen yliopisto. Tietojenk��sittelyopin laitos. Series of publications. A
name: Julkaisusarja, 1, Tutkimuksia / Maanpuolustuskorkeakoulu
name: Jyväskylän yliopisto / Opetusmoniste, Kasvatustieteen laitos
name: Julkaisusarja / Väestöliitto. D
name: Suomi : autokartta = Finland : bilkarta
name: Julkaisu / Pohjois-Pohjanmaan liitto : A
name: Lapin seutukaavaliitto. Julkaisu. Sarja A
name: Acta Universitatis Tamperensis. A
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja : B, Teoriaa ja käytäntöä
name: Vaasan korkeakoulun julkaisuja : Kielitiede

Efficient symbolic model checking of concurrent systems
is part of: Fennica
type: Instance
example of work: Efficient symbolic model checking of concurrent systems
type: CreativeWork
isbn: 9789526043487
is part of: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992

Efficient symbolic model checking of concurrent systems
description: Julkaistu myös painettuna
example of work: Efficient symbolic model checking of concurrent systems
type: CreativeWork
type: Instance
is part of: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
is part of: Fennica

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

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

Efficient symbolic model checking of concurrent systems
is part of: Fennica
example of work: Efficient symbolic model checking of concurrent systems
type: Instance
is part of: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
type: CreativeWork
description: Julkaistu myös verkkoaineistona

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

Efficient symbolic model checking of concurrent systems
is part of: Fennica
type: Instance
example of work: Efficient symbolic model checking of concurrent systems
type: CreativeWork
book format: EBook
is part of: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
type: Book

PropertyValue
property ID: skl
value: fx984969

PropertyValue
property ID: FI-FENNI
value: 984969

Efficient symbolic model checking of concurrent systems
is part of: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
type: CreativeWork
is part of: Fennica
example of work: Efficient symbolic model checking of concurrent systems
isbn: 9789526043494
type: Instance

PropertyValue
property ID: FI-MELINDA
value: 005960759

PropertyValue
value: 005959571
property ID: FI-MELINDA