Tutk. selv. - Kuopion työvoimatoim
name: Publications of the Department of Business Economics and Business Law : Series A
name: Julkaisuja / Turun yliopisto. Historian laitos. Suomen historia
name: Julkaisusarja. 2, Tutkimusselosteita = Research reports
name: Tutkimuksia / Jyväskylän yliopisto. Terveystieteen laitos. Sarja
name: Julkaisu / Oulun yliopisto, rakennetekniikan laitos
name: Julkaisuja / Helsingin yliopisto. Eläinlääketieteellinen tiedekunta
name: Humanistinen ammattikorkeakoulu Sarja C Oppimateriaaleja
name: Teknillinen korkeakoulu, Tietekniikka
name: Katsauksia / Tilastokeskus, ISSN
name: (Tutkimuksia / Valtion tekillinen tutkimuskeskus
name: Tutkimuksia / Stakes
name: 15 : Informaatiopalvelun kurssi
name: Suomalaisen Teologisen Kirjallisuusseuran julkaisuja
name: Julkaisuja / Nuorisotutkimusseura & Nuorisotutkimusseura. Tiede
name: [Opetusministeriön julkaisuja]
name: Tampereen yliopiston sosiaalipolitiikan laitoksen julkaisu : C sarja
name: Teknillinen korkeakoulu, konetekniikan osasto, lujuusopin laboratorio
name: Museoviraston rakennushistorian osaston julkaisuja / Museovirasto
name: Julkaisu / Helsingin yliopisto. Tietojenkäsittelyopin laitos. A
name: Council of Tampere Region : Series B
name: Julkaisu / Lastensuojelun keskusliitto
name: Selosteita ja katsauksia / Jyväskylän yliopisto, Chydenius-instituutti
name: Matemaattisten tieteiden laitoksen julkaisuja / Tampereen yliopisto
name: Poliittisen historian julkaisuja / Turun yliopisto. C
name: Aalto-yliopiston julkaisusarja. Doctoral dissertations
name: VTT Technology
name: Pohjois-Savon ammattikorkeakoulun julkaisut B
name: Acta Acad. soc., B
name: Pirkanmaan liitto, D
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja A2, Tutkielmia ja raportteja
name: Moniste
name: Aalto University publication series. Doctoral Dissertations
name: Turun yliopisto, poliittisen historian tutkimuksia
name: Publications / Kymenlaakson ammattikorkeakoulu, University of applied Sciences, Research and reports series. B
name: Acta Wasaensia : Automation technology
name: Julkaisuja / Helsingin yliopisto. Maaseudun tutkimus- ja koulutuskeskus. Mikkeli
name: Julk. - Maa- elintarviketal. tutk.k., Tal.tutk
name: Tiedonanto / Valtion teknillinen tutkimuskeskus, maankäytön laboratorio
name: Tampereen yliopisto. Sarja B, Kansantaloustieteen laitos
name: Rap. (Tek. korkeak., Sähkö- tietoliik. os., Akust. äänenkäs.tek. lab.)
name: MTTL julkaisuja
name: Jyväskylän yliopisto. Terveystieteen laitos. Sarja A: Tutkimuksia
name: Publications/University of Helsinki, Department of General Linguistics
name: Luonnonvara-ala ; Pohjois-savon ammattikorkeakoulun julkaisusarja. D
name: VTT publikationer / Statens tekniska forskningscentral
name: Europakunskap
name: Joensuun yliopiston kasvatustieteiden tiedekunnan opetusmonisteita
name: Research reports. Turku university of applied sciences
name: Tutkimuksia / Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos
name: Hämeen liiton julkaisu. 1A
name: Tampereen yliopisto. Kansantaloustieteen laitos : C
name: Publications / Regional Council of South Ostrobotnia : B
name: Tampereen yliopisto. Turvallisuushallinto 5/2001. A
name: Acta Universitatis Tamperensis. Ser. B
name: Kenraaliharj. - Hels. yliop. Yl. kielit. laitos
name: Tampereen yliopisto, kansantaloustieteen laitos. B
name: Pohjois-Pohjanmaan liiton julkaisu : A
name: Teknillinen korkeakoulu. LVI-tekniikan laboratorio. Raportti. B
name: Julkaisusarja : 1 / Maanpuolustuskorkeakoulu, johtamisen ja sotilaspedagogiikan laitos
name: Tutkimuksia / Valtion teknillinen tutkimuskeskus = Forskningsrapporter / Statens tekniska forskningscentral = Research Reports / Technical Research Centre of Finland
name: Kasvatustieteiden tutkimuslaitoksen julkaisuja / Jyväskylän yliopisto
name: Publications of the Department of Contemporary History / University of Turku
name: Tutkimuksia. E / Suomen Pankki
name: Helsingin yliopiston maantieteen laitoksen julkaisuja. A = Publicationes Instituti Geographici Universitatis Helsingiensis
name: Tampereen yliopisto, kauppatieteiden laitos. Sarja A 1, Tutkimuksia
name: Tilastokirja / Tampereen teknillinen korkeakoulu
name: MKTK:n julkaisuja : F
name: Hall.t., A Tutk
name: TDC's publications : Serie G
name: Raportti / Teknillinen korkeakoulu, konetekniikan osasto, LVI-tekniikan laboratorio. B
name: Hallintotiede. B, Yleissarja
name: Vaasan yliopiston julkaisuja, Tutkimuksia, Sosiologia
name: Working paper / Jyväskylän yliopisto, Taloustieteen laitos
name: LVI-laboratorion julkaisuja / Teknillinen korkeakoulu, Konetekniikan osasto. B
name: Acta Academiae Aboensis. Ser. B
name: Suomen Historiallinen Seura. Studia historica
name: Tutk. - Hels. yliop. opett.koul.l. (1982)
name: Tutkimuksia / Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus Stakes
name: Publication series of the University of Art and Design Helsinki : B
name: Publication series of the University of Art and Design Helsinki. B

The design of a specification language for reactive systems
number of pages: 148 s.
isbn: 9517218176
description: kuvitettu
type: Instance
publication:
  location: Tampere
  organizer: Tampereen teknillinen korkeakoulu
example of work: The design of a specification language for reactive systems
date published: 1992
is part of: Fennica
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Tutk. selv. - Kuopion työvoimatoim
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
publisher: Tampereen teknillinen korkeakoulu

PropertyValue
property ID: skl
value: fx270291

The design of a specification language for reactive systems
type: Work
type: CreativeWork
language: en
work example: The design of a specification language for reactive systems
author: Järvinen, Hannu-Matti
is part of: Fennica
P60049: http://rdaregistry.info/termList/RDAContentType/1020

PropertyValue
value: 270291
property ID: FI-FENNI

PropertyValue
property ID: FI-MELINDA
value: 004086739