Suomi : Turku : sarja I = Finland : Åbo : serie I
name: Julkaisusarja / Maanpuolustuskorkeakoulu, Taktiikan laitos. 1
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta. C
name: Kielikeskusmateriaalia / Jyväskylän yliopisto. Korkeakoulujen kielikeskus
name: Helsingin yliopiston maantieteen laitoksen julkaisuja. A
name: Vaasan korkeakoulun julkaisuja : Hallintotiede
name: Helsinki University of Technology, Department of Energy Technology, Laboratory of Applied Thermodynamics
name: Research report / Lappeenranta University of Technology. Department of Physics and Mathematics
name: TYTin julkaisusarja : C
name: Julkaisu / Museovirasto. Rakennushistorian osasto
name: Yhteisk.t. tutk.l., Tamp. yliop., D
name: Julkaisuja / Nuorisotutkimusseura & Nuorisotutkimusseura. Tiede
name: Rerport / Helsinki University of Technology, Department of Technical Physics. B
name: Proceedings of the Vaasa School of Economics : Teaching aid series
name: Hels. kauppakorkeak. julk., D
name: Helsinki School of Economics : Series B
name: Opetusmoniste / Vankeinhoidon koulutuskeskus
name: Aalto-yliopiston julkaisusarja. Crossover / Aalto-yliopisto
name: Working Papers - Työpapereita. C
name: Raportti : C / Tietojenkäsittelytieteiden laitos, Tampereen yliopisto
name: Studies of the Central Pension Security Institute
name: Helsinki University of Technology, Faculty of Electrical and Communications Engineering, Laboratory of Telecommunications Technology
name: University of Helsinki : Department of Computer Science. Series of publications B
name: Report / University of Tampere, Department of Mathematical Sciences : B
name: [Pohjois-Savon ammattikorkeakoulun julkaisusarja]. D
name: Vaasan yliopiston julkaisuja : Cultural studies
name: Terveys : luonnonparannustavan ystävien ja vegetariaanien äänenkannattaja
name: Acta Wasaensia : Liiketaloustiede, Johtaminen ja organisaatiot
name: Department of Public Health. University of Jyväskylä : Series B, Reviews
name: Julkaisusarja. 5
name: Helsingin kauppakorkeakoulu : E, Selvityksiä
name: Joensuun yliopisto. Maantieteen laitos. Julkaisuja
name: Vaasan korkeakoulun julkaisuja. Opetusmonisteita, Liiketaloustiede
name: Reports / Helsinki University of Technology. Laboratory of Paper Technology. Series A
name: Aalto University publication series. Doctoral dissertations, Doctoral dissertations
name: Julkaisusarja / Maanpuolustuskorkeakoulu, sotatekniikan laitos. 5
name: Acta Wasaensia : Sosiaali- ja terveyshallintotiede
name: VTT publications / Technical Research Centre of Finland
name: Kuukauden kirja ; 0010
name: Yrityksen taloustieteen ja yksityisoikeuden laitos / Tampereen yliopisto. Sarja D, Pirkanmaan liiketaloudellisen tutkimuskeskuksen julkaisuja
name: Research papers / University of Oulu, Institute of Information Processing Science. A
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja B 2, Opetusmonisteita
name: Julkaisu / Tampereen yliopisto. B, Opetusmonisteet
name: Julkaisuja / Helsingin yliopisto, viestinnän laitos. [Sarja] 1 C
name: Julkaisusarja / Maanpuolustuskorkeakoulu, taktiikan laitos. 1, [Taktiikan tutkimuksia]
name: Otčety Ministerstva social'nogo obespečeniâ i zdravoohraneniâ Finlândii
name: Publication series of the University of Art and Design Helsinki UIAH : B
name: Taideteollisen korkeakoulun julkaisu. A, Taidekasvatuksen osaston tutkimuksia
name: KTM Rahoitetut tutkimukset / Elinkeino-osasto
name: Julk. - Keski-Suom. liitto, A (Pain.)
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos : Sarja A 2, Tutkielmia ja raportteja
name: Vaasan kauppakorkeakoulun julkaisuja. Tutkimuksia, Tilastotiede
name: Tek. korkeak., Tietotek. os., Tietojenkäs.opin lab., B
name: Tampereen yliopisto. Kansantaloustieteen laitos : D
name: Research Report / National Research and Development Centre for Welfare and Health
name: Tutk. - Valt. tek. tutk.k
name: Tamp. yliop., Yhteisk.t. tutk.l., B
name: Julkaisusarja / Maanpuolustuskorkeakoulu, taktiikan laitos : 2, Taktiikan asiatietoa
name: Työpapereita / FinSoc, sosiaalipalvelujen evaluaatioryhmä
name: Vaasan yliopiston julkaisuja : Julkisjohtaminen
name: Tutkimuksia / Sosiaali- ja Terveysalan tutkimus- ja kehittämiskeskus
name: MKTK:n julk., F
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian laitos. Tutkimuksia A
name: Geodesian ja kartografian laboratorion julkaisu. Kartografia ja paikkatietojärjestelmät
name: Insinöörijärjest��jen koulutuskeskus. Julkaisu
name: Julkaisu. B / Oulun yliopisto, arkkitehtuurin osasto
name: Helsinki School of Economics and Business Administration. Working papers W
name: Tek. korkeak., Tietotek. os., Tietoliik.ohjelmistojen multimed. lab., B
name: Julkaisuja / Nuorisotutkimusverkosto, Nuorisotutkimusseura
name: Tiedonanto / Valtion teknillinen tutkimuskeskus. Poltto- ja voiteluainelaboratorio
name: Report / Helsinki University of Technology, Laboratory of Heating, Ventilating and Air Conditioning. A
name: Julk. - Keski-Suom. liitto, C (Pain.)
name: Report / University of Helsinki, Institute of Seismology. S
name: Tek. korkeak., Mater.- kalliotek. laitos, Kalliotek. lab., A Tutk.rap
name: Jyväskylän yliopisto. Keski-Suomen taloudellinen tutkimuskeskus. Julkaisuja
name: Helsingin yliopiston kasvatustieteellisiä tutkimuksia
name: TECO publ
name: Suomen Historiallinen Seura. Studia historica
name: VTT Science, 2242-119X
name: Helsingin yliopisto, maaseudun tutkimus- ja koulutuskeskus. Sarja B
name: Acta Wasaensia : Philologie / Universitas Wasaensis

PropertyValue
property ID: FI-MELINDA
value: 000194364

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

PropertyValue
property ID: FI-FENNI
value: 638949

PropertyValue
value: fx638949
property ID: skl

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