Acta Wasaensia : Energy technology
name: Acta Wasa., Math. (Print)
name: Teknillinen korkeakoulu. Teknillisen fysiikan laitos. Report. A
name: Julkaisuja / MTT taloustutkimus
name: Sosiaalipolitiikan laitoksen julkaisuja. C-sarja
name: Vaasan yliopiston julkaisuja : Tutkimuksia
name: Julkaisuja / Tampereen yliopisto. A
name: Pohjois-Pohjanmaan liiton julkaisu. B
name: Tamp. yliop. sosiol. sos.psykol. laitok. tutk
name: Tampereen yliopiston sosiologian ja sosiaalipsykologian laitoksen työraportteja. B
name: Oppaita / Sosiaali- ja terveysministeriö
name: Research reports / University of Helsinki. Department of Social Psychology
name: Acta Wasaensia. Communication Studies
name: Tutkimuksia / Tampereen yliopisto, aluetiede. Sarja A
name: Res. rep. - Rolf Nevanlinna Inst., A
name: Vaasan korkeak. julk., Tutk., Hall.t
name: Publication series of the University of Industrial Arts Helsinki. B
name: Tampereen yliopisto, hallintotieteen laitos : Series A, Research reports
name: Pirkanmaan liitto. Sarja B
name: Tampereen yliopisto : kasvatustieteen laitos. B, Opetusmonisteet
name: Julkaisuja / Tampereen yliopisto, yhteiskuntatieteiden laitos
name: Acta Wasaensia : Aluetiede
name: Publication series of the University of Art and Design Helsinki : B
name: Res. rep. - Lap.ran. Univ. Technol., Dep. Phys. Math
name: Report / University of Tampere. Department of Mathematical Sciences. A
name: University of Oulu. Department of Information Processing Science : Series B, Working papers
name: Vaasan yliopiston julkaisuja : Philologie
name: Report / HEUNI
name: Valtion teknillinen tutkimuskeskus. VTT:n tutkimuksia
name: Tied. - Valt. tek. tutkimusk., Ydinvoimatek. lab
name: Ad hoc committee reports/Ministry of Trade and Industry
name: Raportti / Helsingin teknillinen korkeakoulu. Kevytrakennetekniikan laboratorio. Sarja B
name: Selosteita / Turun yliopiston kasvatustieteiden tiedekunta. B
name: Turun yliopiston historian laitoksen julkaisuja
name: Series : 1, Strategic research / National Defence University, Department of Strategic and Defence studies
name: Julkaisuja / Turun yliopisto. Poliittinen historia. Sarja C
name: Työpap. - Hels. yliop., kasv.tieteen laitos, Toiminnan teor. kehitt. työntutk. yksikkö
name: Kauppa- ja teollisuusministeriön tutkimuksia ja raportteja
name: Julkaisu / Hämeen liitto. 5
name: Södra Österbottens förbunds publikation : B
name: Institute for Educational Research, Occasional papers
name: Publication series of the Univerisity of Art and Design Helsinki UIAH. A
name: Raportti / Teknillinen korkeakoulu, teknillisen fysiikan laitos. B
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja / Jyväskylän yliopisto. B, teoriaa ja käytäntöä
name: Jyväskylän yliop. Liikuntakasv. laitos, Sar. C, Kats
name: Tilastoraportti / Stakes
name: Research reports. Helsinki University of Technology. Laboratory for Theoretical Computer Science. A
name: Vaasan korkeakoulun julkaisuja. Opetusmonisteita, Philology
name: University of Tampere, School of business administration. Series A 1, Studies
name: Hallintotiede : C / Tampereen yliopisto, hallintotieteen laitos
name: Working papers. E
name: Reseach reports of the Faculty of Education / University of Joensuu, Joensuun yliopisto = Kasvatustieteiden tiedekunnan tutkimuksia
name: Teknillisen korkeakoulun laskennallisen tekniikan laboratorion julkaisuja
name: Pirkanmaan liitto : Sarja E, Tiedote
name: Tilastotiedote / STAKES
name: Pirkanmaan liiton julkaisu : A
name: Acta Wasaensia : Julkisjohtaminen
name: Report / Helsinki University of Technology, Department of Technical Physics. C
name: Keski-Suomen taloudellisen tutkimuskeskuksen julkaisuja
name: Wetterhoffin käsi- ja taideteollisuusoppilaitoksen julkaisusarja : B
name: Työryhmämuistio / VM
name: Jyväskylän yliopisto. Terveystieteen laitos. Sarja A: Tutkimuksia
name: Tek. korkeak., Tietotek. os., Tietoliik.ohjelmistojen multimed. lab., A
name: Vaasan korkeakoulun julkaisuja : Hallintotiede
name: Julk. - Lastensuoj. keskusl
name: Suomalaisen Kirjallisuuden Seuran toimituksia. 254 osa
name: Helsingin yliopiston sosiaalipolitiikan laitoksen monisteita
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos. A
name: Reports / Helsinki University of Technology, Laboratory of Paper and Printing Technology. Series A
name: Eurooppa-tiedotus. Eurooppa-tietoa
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskuksen tutkimuksia
name: Julkaisu. Sarja B / Helsingin yliopisto, tietojenkäsittelyopin laitos
name: Acta Wasaensia. Public law
name: Brochures
name: Helsinki University of Technology Institute of Mathematics research reports : A
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos. 4, [Tekniikan asiatietoa]
name: Joensuun yliopisto, maantieteen laitos, julkaisuja
name: Издание Национального архива Финляндии
name: Valtion koulutuskeskus, julkaisusarja
name: Teknillinen korkeakoulu. tietekniikan laboratorio. A
name: Käyttäytymistieteiden laitos / Oulun yliopisto

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

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

PropertyValue
property ID: FI-MELINDA
value: 004086739

PropertyValue
property ID: skl
value: fx270291

PropertyValue
value: 270291
property ID: FI-FENNI