Julkaisusarja / Pohjois-Pohjanmaan liitto
name: Tied. - Valt. tek. tutkimusk., Betonitek. lab
name: Aalto-yliopisto, Taideteollisen korkeakoulun julkaisusarja : A
name: Publikationer utgivna av Historiska institutionen vid Helsingfors universitet
name: VTT julkaisuja = publikationer
name: Helsingin kauppakorkeakoulun julkaisusarja. B
name: Vaasan yliopisto : Länsi-Suomen taloudellinen tutkimuslaitos
name: Matkailun koulutus- ja tutkimuskeskuksen julkaisu : C
name: Julkaisusarja. 1 / Maanpuolustuskorkeakoulu, käyttäytymistieteiden laitos
name: Raportti / Helsinki University of Technology, Department of Electrical Engineering and Communications, Laboratory of Acoustics and Audio Signal Processing
name: Publikationer utgivna av Institutet för internationell ekonomisk rätt vid Helsingfors universitet = Publications of the Helsinki University Institute of International Economic Law
name: Travel Development Centre : G
name: Teknillinen korkeakoulu, valaistuslaboratorio
name: Publications of the Finnish Literature Society
name: Julkaisusarja. 2, Tutkimusselosteita / Maanpuolustuskorkeakoulu, sotataidon laitos
name: Helsingin kauppakorkeakoulu. Julkaisuja C
name: Julkaisusarja / Maanpuolustuskorkeakoulu, taktiikan laitos. 3, Työpapereita
name: Sosiaali- ja terveysministeriön esitteitä
name: Rolf Nevanlinna -instituutti. Research reports. A
name: Vaasan kauppakorkeakoulun julkaisuja. Tutkimuksia, Liiketaloustiede
name: TDC publications : G
name: Hels. kauppakorkeak. julk.. M
name: Erfolgreiche Verhandlungen : (Testversion 1990) : 5
name: Näytteitä uralilaisista kielistä
name: Tutkimuksia / Helsingin yliopisto, käyttäytymistieteellinen tiedekunta, soveltavan
name: Levón-instituutin julkaisuja / Vaasan yliopisto
name: Acta Wasaensia. Economics
name: Julkaisuja / Tampereen yliopisto, yhteiskuntatieteiden tutkimuslaitos. Sarja T
name: Tampereen teknillinen korkeakoulu, opintomoniste
name: Nuorisoasiain nevottelukunta. NUORAn julkaisuja. Nro 14
name: VTT tiedotteita 1830
name: Sosiaali- ja terveysministeriö. Julkaisuja
name: Monistesarja / Jyväskylän yliopisto, Chydenius-instituutti
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos : 1, Tutkimus
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. D
name: Joensuun yliopisto. Kasvatustieteellisiä julkaisuja
name: Raportti / Teknillinen korkeakoulu, kevytrakennetekniikan laboratorio. B
name: Finansministeriets arbetsgruppspromemorior
name: Vaasan kauppakorkeakoulun julkaisuja. Opetusmonisteita, Kielitiede
name: Julkaisu / Talonrakennustekniikan laboratorio. Teknillinen korkeakoulu
name: Työpap. - Hels. yliop., kasv.tieteen laitos, Toiminnan teor. kehitt. työntutk. yksikkö
name: Taideteollisen korkeakoulun julkaisusarja. B
name: Vägkarta 2012
name: Joensuun yliopisto. Humanistinen tiedekunta. Historian tutkimuksia
name: Vankeinhoidon koulutuskeskus. Opetusmoniste
name: Publication series / European institute for crime prevention and control, affiliated with the United Nations
name: Raportteja ja selvityksiä / Helsingin yliopiston koulutus- ja kehittämiskeskus Palmenia
name: Julkaisu / Oulun yliopisto. Rakennetekniikan laitos
name: [Julkaisu] / Keski-Suomen liitto. B
name: Sos.- terv.minist. monist
name: Eurooppa-tietoa - Europakunskap, Ulkoasiainministeriö
name: Vaasan kauppakorkeakoulun julkaisuja. Maantiede
name: Hels. yliop. kansainväl. tal.oik. inst. julk. B
name: Sotatieteen laitos. Julkaisusarja. 2, Strategian tutkimuksia
name: VTT publ. (Online)
name: Tampereen yliopisto. Kasvatustieteiden laitos. Opetusmonisteet. B
name: Publication series of the Univerisity of Art and Design Helsinki UIAH. A
name: Julkaisuja. Sarja 1A / Helsingin yliopisto, viestinnän laitos
name: Department of Social Policy Research Reports
name: Julkaisu / Etelä-Pohjanmaan liitto. B
name: VTT tiedotteita = Meddelanden / Research notes
name: Studia Historica / Suomen historiallinen seura
name: Julkaisu / Pohjois-Pohjanmaan liitto : A
name: Julkaisusarja / Tampereen yliopisto, täydennyskoulutuskeskus, B
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Sarja A
name: Series 3, Working papers / National Defence University, Department of warfare
name: Amos Andersonin taidemus. julk., Uusi sar
name: Undervisningsministeriets publikationer
name: Acta Wasaensia, Literary and cultural studies
name: Tampereen yliopiston Liiketaloudellisen tutkimuskeskuksen julkaisuja. D
name: Julkaisuja / Vaasan korkeakoulu
name: Työryhmämuistioita / Valtiovarainministeriö
name: Julkaisu. D / Hämeen ammattikorkeakoulu
name: Julkaisusarja / Maanpuolustuskorkeakoulu, sotatekniikan laitos. 1
name: MTI publications
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta. C, [Oppimateriaalit]
name: Jyväskylän yliopisto. liikuntakasvatuksen laitos. Sarja C, Katsauksia
name: Hämeen liiton julkaisu : 1B
name: Jyväsk. yliop. Liikuntakasv. laitos, Sar. A, Tutk
name: VVT julkaisuja
name: Rep. - Rolf Nevanlinna Inst., B

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

PropertyValue
property ID: FI-MELINDA
value: 000920153

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

PropertyValue
value: 668525
property ID: FI-FENNI