Hallintotiede / Tampereen yliopisto. A
name: Social- och hälsovårdsministeriets stenciler
name: Hämeen liiton julkaisu. V
name: Vaasan yliopiston julkaisuja : Selvityksiä ja reportteja
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos. Sarja A, Tutkimuksia
name: Helsingin yliopiston kasvatustieteen laitoksen tuktimuksia
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja : B
name: Julkaisu / Etelä-Pohjanmaan liitto. C
name: Rep. - Hels. Univ. Technol., Lab. Telecommun. Technol
name: Tulevaisuus on tiedossa / Matkailun koulutus- ja tutkimuskeskus. A
name: Tutkimuksia / Helsingin yliopisto. Sosiaalipolitiikan laitos
name: Skrifter utgivna av Svenska litteratursällskapet
name: Rep. - Hels. Univ. Technol., Dep. Tech. Phys., A
name: Humak University of Applied Sciences Library University of Applied Sciences : Series C, Educational materials
name: Julkaisu. Vaasan yliopisto, Levón-instituutti
name: Sosiaali- ja terveysministeriön selvityksiä (Painettu)
name: Suomi : tiekartta = Finland : vägkarta = Finnland : Strassenkarte = Finland : road map = Finlande : carte routiére
name: Julkaisu[ja] / Tampereen yliopisto, yhteiskuntatieteiden tutkimuslaitos
name: Kansa taisteli - miehet kertovat
name: Pohjois-Savon ammattikorkeakoulun julkaisusarja. A
name: Raportti / Helsingin teknillinen korkeakoulu. Teknillisen fysiikan osasto. B
name: Kansanterveyden laitos, Jyväskylän yliopisto. Sarja B, Katsauksia
name: Turun yliopiston kasvatustieteiden tiedekunta
name: Pirkanmaan liitto, B
name: Forskningar i politisk historia / Åbo universitet. D
name: Työpapereita / Helsingin yliopisto. Kasvatustieteen laitos. Toiminnan teoria ja kehittävän työntutkimuksen yksikkö
name: Maaseudun tutkimus- ja koulutuskeskuksen julkaisuja
name: Pirkanmaan liiton julkaisuja. A 40
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos : A, Tutkimuksia
name: Raportti / Teknillinen korkeakoulu, konetekniikan osasto, LVI-tekniikan laboratorio
name: Julkaisusarja / Taideteollinen korkeakoulu. B
name: Ministry of Social Affairs and Health Handbooks
name: Maatalouden taloudellisen tutkimuslaitoksen julkaisuja
name: Työryhmämietintö / Sosiaali- ja terveysministeriö
name: Hels. yliop. sosiaalipsykol. laitoksen energ.julk
name: Taideteollisen korkeakoulun julkaisusarja : C
name: Rapporter
name: Report / University of Tampere, Department of Mathematical Sciences. C
name: Publikationer utgivna av Institutet för internationell ekonomisk rätt vid Helsingfors universitet
name: Tutkimuksia / Helsingin yliopisto, kasvatustieteen laitos
name: Helsingin yliopisto. Lahden tutkimus- ja koulutuskeskus. Oppimateriaaleja
name: Research reports / University of Kuopio, Center for Training and Development
name: Helsingin teknillinen korkeakoulu, laivahydrodynamiikan laboratorio : D
name: Tampereen yliopisto. Tietojenk��sittelyopin laitos. Series of publications. A
name: Publications of the Department of general linguistics
name: Työ ja liikunta / Työterveyslaitos
name: Julkaisuja / Turun yliopiston kasvatustieteiden tiedekunta. A
name: Suomen Kirjallisuuden Seuran Toimituksia
name: Report / Tampere University of Technology, Ragnar Granit Institute
name: Julkaisu / Pohjois-Pohjanmaan liitto : B
name: Tampereen yliopisto, kasvatustieteen laitos. B. Opetusmonisteet
name: Tampereen yliopisto. Aluetieteen laitos, Tutkimuksia
name: Savonia-ammattikorkeakoulun julkaisusarja : E
name: University of Joensuu publications in education
name: Tampereen teknillinen korkeakoulu, Arkkitehtuurin osasto, Rakennussuunnittelun laitos. Julkaisu
name: National Defence College, Department of Technology : Series 1
name: Stakesin julkaisuja
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia. Kielitiede
name: Publication series / Finnish National Defence College, Department of Education. 2, Research reports
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Sarja A
name: Pohj.-Savon amm.korkeak. julk.sar., C
name: Henkilökohtainen tietojenkäsittely
name: Research reports - Department of Special Education. University of Jyväskylä = Julkaisusarja - Jyväskylän yliopisto. Erityispedagogiikan laitos
name: Acta Wasaensia, Business administration
name: Proceedings of the Vaasa School of Economics, Reprint series
name: Suomalaisen Kirjallisuuden Seura, Toimituksia
name: Helsingin kauppakorkeakoulun julkaisusarja. C 1
name: Julkaisuja / Helsingin yliopisto. Viestinnän laitos. Sarja 2 C
name: [Gösta Serlachiuksen taidesäätiön julkaisuja]
name: Helsingin yliopisto. Maaseudun tutkimus- ja koulutuskeskus : Sarja C (Seinäjoki)
name: Tampereen teknillinen korkeakoulu. Rakennustekniikan osasto. Vesitekniikka
name: Vesitekniikan laboratorion julkaisuja / Oulun yliopisto. Sarja A
name: Raportteja : f Sosiaali- ja terveysalan tutkimuksia
name: Julkaisu / Helsingin yliopisto. Tietojenkäsittelyopin laitos. A
name: Julkaisusarja / Tampereen yliopiston täydennyskoulutuskeskus. B
name: Työpap. - Hels. yliop., kasv.tieteen laitos, Toiminnan teor. kehitt. työntutk. yksikkö
name: Helsingin yliopiston julkaisuja
name: VTT tied. (Verkkojulk.)
name: Lappeenrannan teknillinen korkeakoulu. Kemiantekniikan osasto. Julkaisu
name: Social- och hälsovårdsministeriets handböcker
name: Julkaisu / Jyväskylän yliopisto. Filosofian laitos

Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
type: CreativeWork
type: Work
is part of: Fennica
language: en
work example: Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
P60049: http://rdaregistry.info/termList/RDAContentType/1020
author: Junttila, Tommi

PropertyValue
property ID: FI-MELINDA
value: 000920153

Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
date published: 1999
is part of: Fennica
example of work: Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
is part of: Hallintotiede / Tampereen yliopisto. A
publisher: Teknillinen korkeakoulu
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
type: CreativeWork
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
type: Instance
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
number of pages: 67, [5] s.
description: kuvitettu
isbn: 9512248859

PropertyValue
value: 668525
property ID: FI-FENNI