[Komiteanmietintö]. 1967. A = Kommittébetänkande
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja / Tampereen yliopisto. Sarja D, Pirkanmaan liiketaloudellisen tutkimuskeskuksen julkaisuja
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. D, Raportteja ja tiedotteita
name: Publication series / National Defence University, Department of Behavioural Sciences. 1
name: Julkaisusarja / Pohjois-Pohjanmaan liitto. A
name: Joensuun yliopiston yhteiskuntatieteellisiä julkaisuja
name: Rap. - Tampereen yliop., Mat. tiet. laitos A
name: Acta Wasaensia. Social and Health Management
name: Suomen kirkkohistoriallisen seuran toimituksia. 3, Liite
name: Hämeen ammattikorkeakoulu : Julkaisu. A
name: Palmenia-sarja 43
name: Hämeen ammattikorkeakoulu, Lepaa
name: Publications / Finnish Youth Research Network and Finnish Youth Research Society
name: Acta universitatis Tamperensis. A
name: [Suomi] : [tilastokartta]
name: Taideteollisen korkeakoulun julkaisusarja. F, Työpaperit
name: Kenraaliharjoituksia
name: Jyväskylän yliopisto. Taloustieteen laitos. Julkaisuja
name: Aalto University publications series. Doctoral Dissertations
name: [Komiteanmietintö]
name: Tutk. suunnit.os. julk. (Hels.)
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos. D
name: Teknillinen korkeakoulu. A
name: Julk. - Etelä-Pohjanm. liitto, B
name: Publications in telecommunications software and multimedia / Helsinki University of Technology, Telecommunications Software and Multimedia Laboratory. A
name: VTT tiedotteita / Valtion teknillinen tutkimuskeskus = VTT Research notes = Technical Research Centre of Finland
name: VTT Tiedotteita = Research notes
name: Raportteja / Sosiaali- ja terveyshallitus
name: Matkailun koulutus- ja tutkimuskeskuksen julkaisuja : Sarja C
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja A
name: Aalto-yliopiston julkaisusarja : Taide + muotoilu + arkkitehtuuri
name: Pirkanmaan liitto : Julkaisu E
name: Hallintotiede / Tampereen yliopisto. A, Tutkimuksia
name: Savonia-ammattikorkeakoulun julkaisusarja B
name: Pirkanmaan liiton julkaisu. B
name: TKK, Tietekniikka. T
name: Julkaisuja / Helsingin yliopisto. Sarja 2 A
name: Broschyrer från Social- och hälsovårdsministeriet
name: University of Oulu. Institute of Data Processing : Ser. B
name: Eteläpohjanmaan liiton julkaisuja. B
name: Julkaisuja / HYKS, Jorvin sairaala. Sarja A
name: Tampereen teknillinen korkeakoulu. rakennustekniikan osasto. rakentamistalous
name: (Kauppa- ja teollisuusministeriön tutkimuksia ja raportteja)
name: Suomalaisen Kirjallisuuden Seuran Toimituksia 339
name: Katsauksia/Väestöntutkimuslaitos. E
name: University of Tampere, School of Business Administration : Series C, Conference proceedings and occasional papers
name: Julk.sar. - Tamp. yliop., Tietojenkäs.tieteiden laitos, B
name: Teknillisen korkeakoulun tietoliikenneohjelmistojen ja multimedian julkaisuja : A / Tietoliikenneohjelmistojen ja multimedian laboratorio
name: Raportti / Helsingin yliopisto. Seismologian laitos. S
name: Julkaisusarja / Maanpuolustuskorkeakoulu, koulutustaidon laitos. 3, Tutkimusselosteita
name: Publication / Tampere University of Technology, R & D Assessment Services
name: Savonia-ammattikorkeakoulun julkaisusarja, tekniikka ja liikenne
name: TKK. Tietekniikka. T
name: [Julkaisusarja] / Pohjois-Pohjanmaan liitto. A
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja, Tampereen yliopisto. Sarja B 1, Oppikirjoja
name: Working papers / Jyväskylän yliopisto, Chydenius-instituutti
name: Acta Wasaensia : Energy technology
name: Ekonomisk forskning rapporter
name: Oppimater. - Hels. yliop., Lahden tutk. koul.k
name: Teknillisen korkeakoulun teknillisen fysiikan julkaisuja : A
name: Social- och hälsovårdsministeriets stenciler
name: Sarja B
name: Economic Research working papers
name: Historian tutkimuksia / Joensuun yliopisto, humanistinen tiedekunta
name: Rep. - Univ. Tamp., Dep. Math., Stat. Philos., C
name: Pirkanmaan liitto : Sarja B
name: Julkaisusarja B
name: Vankeinhoidon koulutuskeskuksen oppikirja
name: Publication / University of Vaasa, Levón institute
name: Teknillinen korkeakoulu. s��hkötekniikan osasto. sähkömekaniikan laboratorio
name: VTT tiedotteita / Valtion teknillinen tutkimuskeskus
name: 15 : Informaatiopalvelun kurssi
name: Aalto-yliopiston julkaisusarja. Tiede + teknologia
name: Sarja / Työelämän tutkimuslaitos. T
name: Tampereen yliopisto. Kansanterveystieteen laitos. Julkaisusarja A, Tutkimuksia ja selvityksiä
name: Helsingin Kauppakorkeakoulun julkaisuja. B
name: Report / University of Helsinki. Observatory and Astrophysics Laboratory
name: Department of computer science, Series of publications B
name: Vaasan yliopiston julkaisuja, Tutkimuksia, Liiketaloustiede
name: Working papers / Helsinki School of Economics and Business Administration
name: Proc. Orthop. Hosp. Inval. Found., Suppl

Symbolic step encodings for object based communicating state machines
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
publisher: Teknillinen korkeakoulu
is part of: Fennica
is part of: [Komiteanmietintö]. 1967. A = Kommittébetänkande
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
example of work: Symbolic step encodings for object based communicating state machines
number of pages: 25, [4] sivu
type: CreativeWork
date published: 2007
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: Julkaisuun painettu virheellinen ISSN.
type: Instance
description: Julkaisussa virheellinen ISSN-tunnus: 0783-540X.
isbn: 9789512291939

PropertyValue
value: fx899484
property ID: skl

Symbolic step encodings for object based communicating state machines
contributor: Junttila, Tommi
type: CreativeWork
work example: Symbolic step encodings for object based communicating state machines
type: Work
language: en
author: Dubrovin, Jori
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
P60049: http://rdaregistry.info/termList/RDAContentType/1020
is part of: Fennica
contributor: Heljanko, Keijo

PropertyValue
value: 003945458
property ID: FI-MELINDA

PropertyValue
property ID: FI-FENNI
value: 899484