Julkaisusarja / Sotakorkeakoulu. Sotatieteen Laitos. Strategian toimisto. 1, Strategian tutkimuksia
name: Arbetsgruppspromemoria / Social- och hälsovårdsministeriet
name: HAMK Ammattillisen opettajakorkeakoulun julkaisuja
name: Väestöntutkimuslaitos. E
name: Sairaalaliitto. Julkaisu
name: Suomi (Hels., 1841)
name: Series / National Defence University, Department of strategic and defence studies. 2, Research reports
name: Acta Universitatis Tamperensis ser A vol
name: Acta Wasaensia : Oikeustiede
name: Julk. - Oulun yliop., Raken.tek. laitos
name: STAKES. Aiheita
name: Julkaisusarja / Turun yliopisto, kasvatustieteiden tiedekunta
name: Julkaisu / Talonrakennustekniikan laboratorio, Teknillinen korkeakoulu, talonrakennustekniikka
name: Tied. - Tamp. yliop., Aluet
name: Report : A / Department of Computer Science. University of Helsinki
name: Pohjois-Pohjanmaan liiton julkaisu : B
name: Julkaisuja. Tampereen yliopisto. Hoitotieteen laitos
name: Julkaisusarja : 1
name: Tampere University of Technology, Department of Civil Engineering, Water Supply and Sanitation : B
name: Tampereen yliopisto. Sosiaalipolitiikan laitos. Tutkimuksia. Sarja A
name: Proceedings of University of Vaasa. Discussion papers
name: Insinöörijärjestöjen koulutuskeskus, Julkaisu
name: Julkaisu / Arkkitehtuurin osasto : A
name: MKTK:n julkaisuja. Sarja E
name: Julk.sar. - Tamp. yliop., Tietojenkäs.tieteiden laitos, B
name: Julkaisusarja / Tampereen yliopisto, kasvatustieteiden laitos. A, Tutkimusraportti
name: Tutkimuksia / Helsingin yliopisto. Kasvatustieteen laitos
name: Publication series / Institute for Educational Research : A, Research reports
name: Julkaisusarja. B / Pohjois-Pohjanmaan liitto
name: Tekniska högskolan i Helsingfors. Digitaltekniska laboratoriet : Series A
name: Report / Helsinki University of Technology, Laboratory of Acoustics and Audio Signal Processing
name: Tutkimuksia / Vaasan yliopiston julkaisuja
name: Profiles of Finland - a study program. Teaching Monographs
name: Tampereen yliopisto, aluetieteen laitos. Sarja A
name: Tampereen yliopisto. Kansanterveystieteen laitos. Julkaisusarja. B, Opetusmonisteita
name: Julkaisusarja 1 / Sotatieteen laitos, Strategian tutkimuksia
name: Aalto University publication series
name: Research reports / University of Tampere. Department of Regional Studies : Series B
name: Turun yliopiston kasvatustieteiden tiedekunta. Opintomateriaalit C
name: Rep. - Lab. Pap. Technol., B
name: MKTK/TDC : G
name: Acta Wasaensia. Computer science
name: Julkaisusarja / Tampereen yliopiston täydennyskoulutuskeskus. A
name: Working papers / University of Oulu. Institute of Data Processing Science. Series B
name: Julkaisusarja / Tampereen yliopiston kasvatustieteiden laitos. A. Tutkimusraportit
name: Series A3 / University of Tampere. School of Business Adminstration, Working papers
name: Working papers / Helsingin kauppakorkeakoulu. W
name: Teknillisen korkeakoulun tietoliikenneohjelmistojen ja multimedian julkaisuja. A
name: Julkaisu / Oulun yliopisto. Arkkitehtuurin osasto. Yhdyskuntasuunnittelun laitos. B
name: Helsinki University of Technology, Digital Systems Laboratory : Series A, Research reports
name: Kauppa- ja teollisuusministeri��n julkaisuja
name: Publications / Agricultural Economics Research Institute, Finland
name: Series / National Defence College, Department of Strategic end Defence Studies. 2, Research Reports
name: Acta Universitatis Tamperensis : Ser.. A
name: Julkaisu / Lastensuojelun keskusliitto
name: Research reports / The University of Turku, The Faculty of Education : C
name: Jyväskylän yliopisto. Chydenius-Instituutti. Selosteita ja katsauksia
name: Museovirasto
name: Tek. korkeak., Sovell. termodyn. lab
name: Sosiaali- ja terveyshallitus. Oppaita
name: Rep. - Hels. Univ. Technol., Dep. Electr. Commun. Eng., Lab. Electromech
name: Valtion teknillinen tutkimuskeskus. : Tutkimuksia
name: Savonia-ammattikorkeakoulun julkaisusarja : G
name: Kanta-Hämeen seutukaavaliitto. Julkaisu. 1
name: Julkaisusarja / Tampereen yliopiston kasvatustieteen laitos. A, tutkimusraportti
name: Tampereen teknillinen korkeakoulu. Opintomoniste
name: Vaasan kauppakorkeak. julk., Tutk., Maant
name: Tampereen yliopisto. Sosiaalipolitiikan laitos. Tutkimuksia
name: Julkaisu / Teknillinen korkeakoulu, talonrakennustekniikan laboratorio
name: Publicationes Instituti geographici Universitatis Helsingiensis. C
name: Report : B / Department of Computer and Information Sciences, University of Tampere
name: Helsinki University of Technology. Automation Technology Laboratory. Series B, Technical reports
name: Julkaisu / Pohjois-Pohjanmaan liitto : B
name: Oulun yliopisto, Käyttäytymistieteiden laitos
name: Tiedotteita / Valtion teknillinen tiedotuskeskus
name: Taideteollisen korkeakoulun julkaisusarja. F, Työpaperit
name: Acta Wasaensia : Soveltava kielitiede
name: Oppimateriaaleja / Helsingin yliopisto, Tutkimus- ja koulutuskeskus Palmenia
name: Working papers / Agrifood Research Finland, Economic Research
name: Tampereen yliopisto, hallintotiede. A, Tutkimuksia
name: Julkaisusarja / Tampereen yliopisto, täydennyskoulutuskeskus, B

Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods
publisher: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
isbn: 9789521520808
publisher: Tampereen teknillinen korkeakoulu
publication:
  organizer: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
  location: Tampere
  organizer: Tampereen teknillinen korkeakoulu
is part of: Julkaisusarja / Sotakorkeakoulu. Sotatieteen Laitos. Strategian toimisto. 1, Strategian tutkimuksia
description: kuvitettu
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
type: Instance
number of pages: xvi, 121 s.
is part of: Fennica
date published: 2008
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
example of work: Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods

Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods
about: teollisuus
P60049: http://rdaregistry.info/termList/RDAContentType/1020
is part of: Fennica
type: CreativeWork
work example: Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods
type: Work
author: Lobov, Andrei
about: automaatiojärjestelmät
language: en

PropertyValue
value: fx906323
property ID: skl

PropertyValue
value: 906323
property ID: FI-FENNI

PropertyValue
property ID: FI-MELINDA
value: 005181472