Raportti / Teknillinen korkeakoulu, teknillisen fysiikan laitos. C
name: Helsinki University of Technology, Department of Mechanical Engineering, Institute of Energy Technology
name: Julkaisuja / Helsingin yliopisto, tiedotusopin laitos. Sarja 1 A
name: Julkaisuja / Nuorisotutkimusverkosto & Nuorisotutkimusseura, Tiede
name: Julkaisuja = Publications / MTT Taloustutkimus
name: Julkaisu / Hämeen ammattikorkeakoulu. D
name: Julkaisusarja : A, Tutkimuksia / Varhaiskasvatuksen laitos
name: Tutkimuksia. A3
name: Mathematics and statistics
name: Travel Development Centre : G
name: VTT julk. (Pain.)
name: Teknillinen korkeakoulu. sovelletun termodynamiikan laboratorio
name: Moniste / Matemaattisten tieteiden laitos, Tampereen yliopisto. B
name: (Tiedotteita
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta : C, Oppimateriaalit
name: Helsinki University of Technology, Ship Laboratory : S
name: Acta Academiae Aboensis : Ser. B, Mathematica et physica
name: Publication series of the University of Art and Design Helsinki = Taideteollisen korkeakoulun julkaisusarja. A
name: Tutkimuksia / Maatalouden taloudellinen tutkimuslaitos
name: Etelä-Pohjanmaan liitto : henkilöstökertomus 2013
name: Julk. - Mus.vir., Esihist. toim
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja / Jyväskylän yliopisto. B, teoriaa ja käytäntöä
name: Series of publications / Department of Computer Science, University of Helsinki. B
name: Teknillinen korkeakoulu. LVI-tekniikan laboratorio. Sis ̈ilmastoprojekti. Raportti. C
name: Publication series / European Institute for Crime Prevention and Control, affiliated with the United Nations
name: Publikationer / Ungdomsforskningsnätverket/Ungdomsforskningssällskapet
name: Julkaisuja / MTT taloustutkimus
name: University of Oulu, Department of Information Processing Science. Series a. Working papers
name: Julk.sar. - Tamp. yliop., Tietojenkäs.opin laitos, B
name: Julk. - Tamp. yliop., Yhteisk.tiet. tutk.laitos, Naistutk.yks., N
name: Helsingin kauppakorkeakoulun opetusmonisteita
name: Research reports / University of Tampere, Department of Regional Studies : Series A
name: Yhteiskuntatieteiden tutkimuslaitos, Tampereen yliopisto. Sarja B
name: Oulun yliopisto, tietojenkäsittelytieteiden laitos. Sarja C, Opetusmonisteet
name: VTT tutkimuksia
name: Julkaisusarja / Turun yliopiston kasvatustieteiden laitos. A
name: Julkaisusarja. Turun yliopiston kasvatustieteiden tiedekunta A [Tutkimuksia]
name: Skrifter utgivna av Svenska litteratursällskapet i Finland
name: Raportti / Teknillinen korkeakoulu, kevytrakennetekniikan laboratorio : Sarja B
name: Report. B
name: Julk. - Mus.virasto. Raken.hist. os
name: Tutk. - Tamp. yliop., Aluet., laitos, B
name: Helsingin yliopiston julkaisuja, Strategiat ja suunnitelmat
name: Jyväskylän yliopisto. Chydenius-instituutti. Monistesarja
name: Proc. Orthop. Hosp. Inval. Found., Suppl
name: MTI Financed studies
name: Publications / Technical Research Centre of Finland
name: Tampereen teknillinen korkeakoulu. Rakennustekniikan osasto. Vesitekniikka
name: Vaasan yliopiston julkaisuja : Filologi
name: Julkaisu / Tampereen teknillinen korkeakoulu, Talonrakennustekniikka
name: LVI-laboratorion julkaisuja / Teknillinen korkeakoulu, Konetekniikan osasto. B
name: University of Tampere. Department of Mathematics, Statistics and Philosophy. Report. A
name: Acta Iniversitatis Tamperensis. Ser. A
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja, Teoriaa ja käytäntöä = Pedagogiska forskningsinstitutet. Publikationsserie b, teori och praxis. B
name: Jyväskylän yliopisto. Taloustieteen laitos. Julkaisuja
name: Julkaisuja / Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos
name: Hämeen liiton julkaisu. II
name: Teknillinen korkeakoulu, maanmittaus- ja rakennustekniikan osasto, yhdyskuntatekniikan laitos, tietekniikka. A
name: Julkaisuja / Tampereen yliopisto. Tiedotusopin laitos
name: Stakes. Aiheita
name: VTT tied. (Verkkojulk.)
name: Maatalouden taloudellinen tutkimuslaitos. Julkaisuja. 28
name: Valtion teknillinen tutkimuskeskus
name: Selvityksiä
name: SKS:n toimituksia
name: Aiheita / Sosiaali- ja terveysalan tutkimus- ja kehittämiskus
name: Series of publications / University of Helsinki. Department of Computer Science. A
name: Työpapereita
name: Acta Universitatis Tamperensis. Ser
name: Julkaisuja / Jyväskylän yliopisto. Taloustieteen laitos
name: VTT Research notes / Technical Research Centre of Finland = VTT Tiedotteita = Valtion teknillinen tutkimuskesku
name: University of Oulu. Institute of Information Processing Science : Series A, Research papers
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta : C, Opintomateriaalit
name: Rapporter / Lantbruksekonomiska forskningsanstalten
name: Suomen matkailun kehitys Oy, Julkaisu
name: Publication series of the University of Art and Design, Helsinki. A
name: Julkaisusarja : 3, Työpapereita
name: Savonia ammattikorkeakoulun julkaisusarja. c
name: Aiheita-sarja
name: Oulun yliopisto. Sarja C, Pohjois-Suomen tutkimuslaitos
name: Research reports / Helsinki University of Technology, Institute of Mathematics

PropertyValue
value: fx638949
property ID: skl

Abstractions and logical layers in specifications of reactive systems
is part of: Fennica
isbn: 9521501421
description: Tiivistelmä ja 6 erip.
number of pages: vii, 122, [2] s.
date published: 1999
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
publisher: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
example of work: Abstractions and logical layers in specifications of reactive systems
publisher: Tampereen teknillinen korkeakoulu
description: kuvitettu
is part of: Raportti / Teknillinen korkeakoulu, teknillisen fysiikan laitos. C
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
publication:
  location: Tampere
  organizer: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
  organizer: Tampereen teknillinen korkeakoulu
type: Instance
type: CreativeWork

Abstractions and logical layers in specifications of reactive systems
language: en
P60049: http://rdaregistry.info/termList/RDAContentType/1020
author: Mikkonen, Tommi
type: CreativeWork
type: Work
work example: Abstractions and logical layers in specifications of reactive systems
is part of: Fennica

PropertyValue
property ID: FI-FENNI
value: 638949

PropertyValue
value: 000194364
property ID: FI-MELINDA