Kansanter. laitos, Jyväsk. yliop. B, Kats
name: Proceedings of the Vaasa School of Economics. Reprint series, Geography
name: Kauppa- ja teollisuusministeriön työryhmä- ja toimikuntaraportteja
name: Tampereen teknillinen korkeakoulu. Rakennustekniikan osasto. rakentamistalous
name: MKTK:n julkaisu. A
name: Raportti / Helsingin teknillinen korkeakoulu. Kevytrakennetekniikan laboratorio. Sarja B
name: Report / HEUNI
name: Series
name: Kommittébetänkande : A
name: Julkaisuja / Tampereen yliopisto, taideaineiden laitos
name: Meidän koira
name: Julkaisusarja / Helsingin yliopisto, yleislääketieteen ja perusterveydenhuollon laitos
name: Hels. kauppakorkeak., E, Selv
name: Siirtolaisuusinstituutin tutkimuksia. A
name: Päijät-Hämeen maak.- seutukaaval. julk., A
name: Tilastokirja / TTKK
name: Opettajakorkeakoulun julkaisuja / Hämeen ammattikorkeakoulu. D
name: Lapin seutukaavaliitto : Sarja C
name: Humak University of Applied Sciences Library University of Applied Sciences : Series C, Educational materials
name: Tampereen yliopisto, kasvatustieteen laitos. B. Opetusmonisteet
name: Tampereen teknillinen korkeakoulu. Opintomoniste
name: Yrityksen taloustieteen ja yksityisoikeuden laitos : B, Tutkimuksia ja monisteita
name: Publikationer av Gösta Serlachius konststiftelse
name: Pohjois-Savon ammattikorkeakoulun julkaisusarja. A, Hallinnon ja kaupan ala
name: Acta Wasaensia : Public law
name: Bank of Finland studies : A
name: Oppimateriaaleja
name: Res. rep. - Univ. Jyväsk., Dep. Ed
name: Research reports / University of Tampere, Department of Regional Studies : Series A
name: Teknillinen korkeakoulu. Tietekniikka : Sarja B
name: Tutkimuksia / Helsingin yliopisto. Sosiaalipolitiikan laitos
name: Valtion teknillinen tutkimuskeskus, Tiedotteita
name: Opetus- ja kulttuuriministeriön julkaisuja = Undervisnings- och kulturministeriets publikationer
name: Katsauksia / Väestöntutkimuslaitos. E
name: Julkaisuja / Asuntohallitus, Tutkimus- ja suunnitteluosasto
name: Julkaisuja / Kymenlaakson ammattikorkeakoulu. Sarja A, Oppimateriaali
name: Teknillinen korkeakoulu. Konetekniikan osasto. Lujuusopin laboratorio
name: Julkaisu / Arkkitehtuurin osasto. A
name: Teknillinen korkeakoulu. s��hkötekniikan osasto. sähkömekaniikan laboratorio
name: Teknillinen korkeakoulu. Laivalaboratorio. M
name: Teknillisen korkeakoulun teknillisen fysiikan julkaisuja : A
name: Suomalaisen Kirjallisuuden Seuran julkaisuja
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja : Sarja A 2, Tutkielmia ja raportteja / Tampereen yliopisto
name: Taideteollisen korkeakoulun julkaisusarja A
name: Julkaisu / Hämeen liitto. 1 A
name: Tampereen yliopisto. Kasvatustieteiden laitos. Opetusmonisteet. B
name: Vaasan korkeak. julk., Opet.mon., Inform
name: Vaasan korkeakoulun julkaisuja : Tutkimuksia
name: Publications / Technical Centre of Finland
name: Publications / University of Helsinki, Department of communication. 1 F
name: Tampereen yliopisto. Sosiologian laitos. Research Reports
name: Report / Department of Mathematical Sciences. University of Tampere. C
name: Julkaisuja
name: Työpaperit. F, Taideteollisen korkeakoulun julkaisuja
name: Proceedings of the Vaasa School of Economics. Reprint series, Economics
name: Helsinki University of Technology, Department of Mechanical Engineering, Ship Laboratory : M
name: Taideteollisen korkeakoulun julkaisuja. B
name: Kvantitatiivisen suunnittelun perusteet : luentomoniste, kevät 1992
name: Historiallisia tutkimuksia / Suomen historiallinen seura
name: Julkaisuja / Kymenlaakson ammattikorkeakoulu. Sarja B, Tutkimuksia ja raportteja
name: Report (Observatory and Astrophysics Laboratory. University of Helsinki)
name: Publicationes Instituti Geographici Universitatis Helsingiensis : A
name: Turun yliopisto. Faculty of Education, Research Reports
name: Sosiaalipolitiikan laitoksen julkaisuja. C-sarja
name: Julkaisusarja / Maanpuolustuskorkeakoulu, koulutustaidon laitos. 2, [Tutkimuksia]
name: Ministry of Finance publications
name: Julkaisusarja / Helsingin yliopisto. Yleislääketieteen laitos
name: SimLab report series / Aalto-yliopiston teknillinen korkeakoulu, Tuotantotalouden laitos, Yritystoiminnan simulointilaboratorio SimLab
name: Terveystieteen laitos. Jyväskylän yliopisto. Sarja A, Tutkimuksia
name: Tampereen yliopiston täydennyskoulutuskeskus. Julkaisusarja A
name: Acta Wasaensia, Språkvetenskap
name: Opettajakorkeakoulun julkaisuja D / Hämeen ammattikorkeakoulu
name: Teknillinen korkeakoulu talonrakennustekniikan laboratorion julkaisuja = Helsinki University of Technology Laboratory of Structural Engineering and Building Physics publications
name: Julkaisuja / Jyväskylän yliopisto. Taloustieteen laitos
name: Aalto University publication series. Art + design + architecture
name: Helsingin yliopisto. Helsingin yliopiston yksityisoikeuden laitoksen julkaisuja
name: Teknillinen korkeakoulu talonrakennusteknikan laboratorion julkaisuja = Helsinki University of Technology Laboratory of Structural Engineering and Building Physics publications
name: Helsinki University of Technology. Applied Electronics Laboratory. Series B
name: Julkaisusarja. 1, Taktiikan tutkimuksia
name: Tampereen teknillinen korkeakoulu. Lääketieteellisen tekniikan laboratorio. Report
name: Publications / University of Helsinki, Mikkeli Institute for Rural Research and Training

Deadlock and reachability checking with finite complete prefixes
publication:
  organizer: Teknillinen korkeakoulu
  location: Espoo
isbn: 9512248840
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
publisher: Teknillinen korkeakoulu
is part of: Fennica
example of work: Deadlock and reachability checking with finite complete prefixes
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
number of pages: 70, [4] s.
description: kuvitettu
type: CreativeWork
date published: 1999
is part of: Kansanter. laitos, Jyväsk. yliop. B, Kats
type: Instance

Deadlock and reachability checking with finite complete prefixes
work example: Deadlock and reachability checking with finite complete prefixes
language: en
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
is part of: Fennica
type: Work
type: CreativeWork
P60049: http://rdaregistry.info/termList/RDAContentType/1020
author: Heljanko, Keijo

PropertyValue
property ID: FI-MELINDA
value: 000225100

PropertyValue
value: 668522
property ID: FI-FENNI

PropertyValue
property ID: skl
value: fx668522