Julkaisuja / Tampereen yliopiston hoitotieteen laitos, perhekeskeisen hoidon tutkimus- ja opetuskeskus
name: Acta Wasaensia, Kielitiede
name: Business Administration : Management and organization
name: Suomi : matkailijan kartta = Finland : turistkarta = Finland : tourist map = Finnland : Touristenkarte = Finlande : carte touristique
name: Julkaisu / Talonrakennustekniikan laitos, Teknillinen korkeakoulu
name: Julk. - Maatal. tal. tutk.laitos
name: Publications / Department of General Linguistics, University of Helsinki
name: Research reports / Department of Special education, University of Jyväskylä
name: Tampereen yliopisto. Yrityksen taloustieteen ja yksityisoikeuden laitos : A, Julkaisuja
name: Teknillinen korkeakoulu. tietotekniikan osasto. laskennallinen dynamiikka
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja. B, Teoriaa ja käytän
name: Taideteoll. korkeak. julk.sar., F Työpap
name: Julkaisuja / Maatalouden taloudellinen tutkimuslaitos
name: Tampereen teknillinen korkeakoulu, opintomoniste
name: Tampereen yliopisto, yhteiskuntatieteiden tutkimuslaitos. Sarja B
name: Hels. yliop. Lahden tutk. koul.k. rap. selv
name: Maailmankirjallisuuden mestariteoksia
name: University of Oulu. Department of Information Processing Science. Series A, Research papers
name: (Tutkimuksia
name: Tampereen teknillinen korkeakoulu. Sarja B, arkkitehtuurin osasto
name: Vaasan yliopsiton julkaisuja. Tutkimuksia
name: Julkaisuja / MTTL
name: Publication / Tampere University of Technology, R & D Assessment Services
name: Julk. - Lastensuoj. keskusl
name: Helsingin yliopisto
name: Palmenia-sarja
name: Siirtolaisuustutkimuksia / Siirtolaisuusinstituutti. A
name: Julkaisusarja / Maanpuolustuskorkeakoulu, taktiikan laitos : 1
name: Komiteanmietintö / Koulutussuunnittelun neuvottelukunta
name: Julkaisuja / Tampereen yliopisto, yleinen kirjallisuustiede
name: Kert. Suom. Kirjall. Seuran toim
name: Julkaisu / Oulun yliopisto, Arkkitehtuurin osasto. C
name: Julk. - Tek. korkeak., Raken.tek. laitos (1983)
name: Aalto University, Publication series of the School of Art and Design : B
name: Helsingin yliopiston tietojenkäsittelyopin laitoksen julkaisusarja : B
name: Publikationen des Unterrichtsministeriums
name: Julkaisu / Seutusuunnittelun keskusliitto]. A
name: Yrityksen taloustieteen ja yksityisoikeuden laitos. Sarja D, Tampereen yliopiston liiketaloudellisen tutkimuskeskuksen julkaisuja
name: Monistesarja / Jyväskylän yliopisto, Chydenius-instituutti
name: Julkaisu / Teknillinen korkeakoulu, rakennusinsinööriosasto, rakennetekniikan laitos
name: Pirkanmaan liitto. Sarja B, Julkaisu
name: Tutkimuksia. A3
name: KTM Rahoitetut tukimukset
name: Acta Academiae socialis : Ser B
name: Julkaisu / Lappeenrannan teknillinen korkeakoulu, kemiantekniikan osasto
name: Report / Helsinki University of Technology, Department of Technical Physics. B
name: KTM Rahoitetut tutkimukset / Elinkeino-osasto
name: Publication series / National Defence College, Department of Management and Leadership. 1, Research reports
name: Turun yliopiston kasvatustieteiden tiedekunta. Julkaisusarja B. Selosteita
name: Helsingin kauppakorkeakoulu. Laskentatoimen laitos
name: Joensuun yliopisto. Yhteiskuntatieteellisiä julkaisuja
name: Oulun yliopiston arkkitehtuurin tiedekunnan julkaisuja. B
name: Historiallisia tutkimuksia Helsingin yliopistosta
name: Stakes. Aiheita
name: Acta Wasaensia. Linguistics
name: Research reports / STAKES
name: Sosiaali- ja terveysministeriön ty����ryhmämuistioita
name: Poliittinen historia. Turun yliopisto. Sarja F
name: Report / University of Tampere. Department of Mathematical Sciences
name: Julkaisuja / Hämeen ammattikorkeakoulu. C
name: Kauppa- ja teollisuusministeri��n julkaisuja
name: Acta Wasaensia. Kansantaloustiede
name: Report / University of Helsinki, Department of Computer Science. B
name: Department of Sociology and Social Psychology. University of Tampere : B, Working papers
name: Oulun yliopisto. tietojenkäsittelyopin laitos. Sarja C, Opetusmonisteet
name: Tek. korkeak., Konetek. os., Lujuusop. lab
name: Universität Helsinki. Institut für Sozialpolitik
name: suurvaltapolitiikka. Sarja B
name: Totta ja tarua
name: Report / Helsinki University of Technology, Laboratory of Heating, Ventilating and Air-Conditioning. B
name: Julkaisusarja / Maanpuolustuskorkeakoulu, koulutustaidon laitos. 2, [Tutkimuksia]
name: Tutkimuksia / Suomen Pankki. E
name: Publication series / National Defence University, Department of Leadership and Management Studies : 1, Research
name: Research report / National Research and Development Centre for Wellfare and Health
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos : Sarja B 1, Oppikirjoja
name: Humanistiska yrkeshögskolan : Serie C, Läromaterial
name: Proceedings
name: Julkaisu
name: Pirkanmaan liiton julkaisu : D
name: Report (Observatory. University of Helsinki)
name: Tampereen yliopisto, hallintotiede. A

PropertyValue
property ID: skl
value: fx697079

A reachability analyser for algebraic system nets
type: CreativeWork
date published: 2001
is part of: Fennica
isbn: 9512255413
number of pages: 85, [7] s.
description: kuvitettu
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
example of work: A reachability analyser for algebraic system nets
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
publisher: Teknillinen korkeakoulu
is part of: Julkaisuja / Tampereen yliopiston hoitotieteen laitos, perhekeskeisen hoidon tutkimus- ja opetuskeskus
type: Instance

PropertyValue
value: 000239221
property ID: FI-MELINDA

A reachability analyser for algebraic system nets
work example: A reachability analyser for algebraic system nets
type: Work
is part of: Fennica
type: CreativeWork
author: Mäkelä, Marko M
language: en
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
P60049: http://rdaregistry.info/termList/RDAContentType/1020

PropertyValue
value: 697079
property ID: FI-FENNI