Gösta Serlachius konststiftelses publikationer
name: Helsingin kauppakorkeakoulun julkaisuja. M
name: Report / Helsinki University of Technology. Department of Technical physics. B
name: Research report / University of Helsinki, Department of education
name: Päijät-Hämeen seutukaaval. julk. A
name: Oppaita
name: Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus / Tutkimuksia
name: Nuorisotutkimusverkosto/Nuorisotutkimusseura : Kenttä
name: Joensuun yliopisto. Yhteiskunta- ja aluetieteiden tiedekunta. Yhteiskuntatieteellisiä julkaisuja
name: VTT tied. (Verkkojulk.)
name: Tutkimuksia / Tampereen yliopisto. Sosiologian ja sosiaalipsykologian laitos. Sarja A
name: Tutkimuksia ja selvityksiä/Kuopion yliopisto, kouluttamis- ja kehittämiskeskus
name: Historiallinen arkisto / Suomen historiallinen seura
name: Julkaisusarja / Turun yliopisto, kasvatustieteiden laitos. A
name: Opetusmonisteita / Tampereen yliopiston tutkimuslaitos. C
name: Publikationsserie / Pedagogiska forskningsinstitutet : C, Meddelande
name: Turun yliopisto, historian laitos. Julkaisuja
name: Tampereen teknillinen korkeakoulu. Julkaisuja
name: Teknillinen korkeakoulu : yleisen osaston tutkinnonuudistustoimikunnan väliraportti yleisistä opinnoista
name: Vaasan yliopiston julkaisuja, Opetusmonisteita. Liiketaloustiede
name: Häme Polytechnic Publication : A
name: Tampereen yliopisto. Sarja A, Tutkimuksia
name: Teknillinen korkeakoulu, kevytrakennetekniikan laboratorio : Sarja A
name: Julkaisusarja : A / TYT
name: Vaasan kauppakorkeakoulun julkaisuja : Liiketaloustiede
name: Report / HPY Research
name: Tutkimuksia / Maatalouden taloudellinen tutkimuslaitos
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. E
name: Reports / Institute of Journalism and Mass Communication. University of Tampere
name: Julkaisuja / Tampereen teknillinen yliopisto
name: Julkaisuja / MTT Taloustutkimus (MTTL)
name: Julk. - Oulun yliop., Vesitek. lab., B
name: Teknillinen korkeakoulu. Matematiikan laitos. Research reports. A
name: Julkaisuja. Tampereen yliopisto. Hoitotieteen laitos
name: Series of Publications A / Department of Computer Science
name: University of Tampere, School of Business Administration. Series C, Conference proceedings and occasional papers
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. C
name: Julkaisusarja / Pohjois-Savon ammattikorkeakoulu : D
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja. Sarja A 1, Tutkimuksia
name: Julkaisuja / Helsingin yliopisto, viestinnän laitos. Sarja A
name: Taideteollisen korkeakoulun julkaisusarja A
name: Vaasan yliopisto : Levón-instituutin julkaisuja
name: Studies in history / University of Joensuu. Faculty of Arts
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia
name: Julkaisusarja. 3, Työpapereita / Maanpuolustuskorkeakoulu, taktiikan laitos
name: Vaasan yliopiston julkaisuja/ Liiketaloustiede
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Strategian laitos. 1 Strategian tutkimuksia
name: VTT Tiedotteita = Research notes
name: Julkaisu / Oulun yliopisto, Arkkitehtuurin osasto. C
name: Savonia University of Applied Sciences : Series D
name: Julk. - Jyväskylän yliop., Filos. laitos
name: Stud. hist. (Hels.)
name: Julkaisuja / Epilepsialiitto
name: Publications of the Department of Technology : Series 2, Mathematics and physical sciences / National Defence College
name: Oppimateriaaleja / Helsingin yliopisto, Lahden tutkimus- ja koulutuskeskus Palmenia
name: (Matkailun koulutus- ja tutkimuskeskuksen julkaisu
name: Vaasan korkeakoulun julkaisuja. Opetusmonisteita, Philology
name: HYKS, Jorvin sairaalan julkaisuja : Sarja A
name: Julkaisusarja / Maanpuolustuskorkeakoulu, strategian laitos ; Strategian tutkimuksia
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus. Raportteja ja selvityksiä
name: Työministeriö. Työryhmämuistio
name: Hels. Univ. Tech., Dep. Electr. Eng., Circuit Theor. Lab
name: University of Tampere, Department of Administrative Science : A
name: VTT tiedotteita / Valtion teknillinen tutkimuskeskus = Meddelanden = Research notes
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Strategian laitos. 25, Strategian tutkimuksia
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja : B
name: Izdanie / MKTK : G
name: Geoinformatiikan julkaisuja
name: Julk. - Jyväsk. yliop., Tal.tiet. os
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja B 2. Opetusmonisteita
name: Julk. B (Oulun yliop., arkkit. os.)
name: Hochschule für angewandte Kunst in Helsinki : A
name: Sotatieteen laitos. Julkaisusarja 2, Strategian ja turvallisuuspolitiikan asiakirjoja
name: Publications / University of Tampere Department of Nursing Science, Centre for Family Nursing Research and Education
name: Oulun läänin teollisuustoimikunta. Julkaisu
name: Security and Police Management publications / University of Tampere, Department of Management Studies
name: Teknillinen korkeakoulu : harjoitteluvaatimukset ja -ohjeet
name: Hels. Univ. Technol., Fac. Electr. Engin., Appl. Electron., A
name: Helsingin teknillinen korkeakoulu. Digitaalitekniikan laboratorio : Series A
name: Tampereen teknillinen korkeakoulu, rakennustekniikan osasto, rakentamistalous
name: Tutk. - Tamp. yliop., Aluet. laitos, B

Implementing LTL model checking with net unfoldings
type: Work
author: Esparza, Javier
work example: Implementing LTL model checking with net unfoldings
is part of: Fennica
language: en
P60049: http://rdaregistry.info/termList/RDAContentType/1020
contributor: Heljanko, Keijo
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
type: CreativeWork

PropertyValue
property ID: FI-MELINDA
value: 000239223

Implementing LTL model checking with net unfoldings
publication:
  organizer: Teknillinen korkeakoulu
  location: Espoo
is part of: Gösta Serlachius konststiftelses publikationer
example of work: Implementing LTL model checking with net unfoldings
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Fennica
number of pages: 29, [4] s.
date published: 2001
type: Instance
isbn: 9512253909
publisher: Teknillinen korkeakoulu
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: kuvitettu

PropertyValue
property ID: skl
value: fx697072

PropertyValue
property ID: FI-FENNI
value: 697072