Helsingin kauppakorkeakoulun julkaisuja. Sarja C
name: Bank of Finland studies : E
name: Working group memorandums of Ministry of Social Affairs and Health
name: Tampereen yliopisto. Sarja A
name: Tampereen yliopisto
name: Tek. korkeak. geod. kartogr. lab. julk
name: NUORAn julk. (Pain.)
name: Publikationen des Unterrichtsministeriums
name: Julkaisu / Helsingin teknillinen korkeakoulu. Rakennetekniikan laitos
name: Julkaisu / Lappeenrannan teknillinen yliopisto. Kemiantekniikan osasto
name: Oppimater. - Hels. yliop., Lahden tutk. koul.k
name: Tiedotteita / Valtion teknillinen tutkimuskeskus = Meddelanden / Statens tekniska forskningscentral
name: [helsingin yliopiston opettajankoulutuslaitos] : [Tutkimuksia], Department of Teacher Education. University of Helsinki. Research report
name: School of Business Administration. Series A3: Working Papers
name: Yrityksen taloustieteen ja yksityisoikeuden laitoksen julkaisuja, Tampereen yliopisto. Sarja A 2, Tutkielmia ja raportteja
name: Jyväskylän yliopisto. Kansanterveyden laitos. Sarja B, Katsauksia
name: Aalto-yliopisto, Taideteollisen korkeakoulun julkaisusarja : A
name: Research reports. A / Rolf Nevanlinna Institute
name: Tampereen yliopisto. Julkaisusarja A
name: Tampereen yliopisto. Kasvatustieteen laitos. Julkaisusarja. A, Tutkimusraportti
name: Statistical report / National Research and Development Centre for Welfare and Health
name: Tutkimuksia / Tampereen yliopisto. Sarja B
name: Acta Universitas Tamperensis. Ser. B
name: [Kommittébetänkande] : till Hans Kejserliga Majestät från kommittén för utarbetande af en ny sjölag m.m., underdånigst
name: Teknillisen korkeakoulun tietojenkäsittelyteorian laboratorion tutkimusraportti : A
name: Kymenlaakson ammattikorkeakoulun julkaisuja : Sarja A
name: Työryhmämuistio - Työminist
name: Raportti / Teknillinen korkeakoulu, teknillisen fysiikan laitos : B
name: Proceedings of the Vaasa School of Economics, Reprint series
name: Opetusmoniste / University of Jyväskylä. Department of education
name: VTT tiedotteita / Valtion teknillinen tutkimuskeskus = VTT Research notes = Technical Research Centre of Finland
name: VTT julkaisuja / Valtion teknillinen tutkimuskeskus = publikationer
name: Teknillinen korkeakoulu. B, paperiteknillinen laboratorio
name: [Kommittébetänkande] : till Hans Kejserliga Majestät från kommittén för uppgörande af förslag i särskilda handeln rörande frågor underdånigst
name: Suomalaisen Kirjallisuuden Seuran Toimituksia : Tiede
name: Vaasan yliopiston julkaisuja. Tutkimuksia. Liiketaloustiede
name: Suomalaisen teologisen kirjallisuusseuran julkaisuja / Kari Ruotsalainen
name: Vaasan korkeak. julk., Opet.monist., Tietotek
name: Tutkimuksia / Tampereen yliopisto, aluetieteen laitos. A
name: Valtionhallinnon kehittämiskeskuksen julkaisusarja A
name: Päijät-Hämeen maakunta- ja seutukaavaliiton julkaisu : A
name: Helsinki University of Technology. Telecommunications Software and Multimedia Laboratory. Series A
name: Tampereen yliopisto. Kasvatustieteiden laitos : Julkaisusarja. A, Tutkimusraportti
name: Handböcker / Social- och hälsostyrelsen
name: Julkaisuja / Kymenlaakson ammattikorkeakoulu. Sarja C
name: Sotatieteen laitoksen julkaisuja
name: Vaasan yliopiston julkaisuja. Tutkimuksia
name: Savonia-ammattikorkeakoulun julkaisusarja. C1
name: Acta Wasaensia : Literatur- und Kulturstudien
name: Julkaisusarja : Series : 3, Työpapereita
name: Working papers / Helsinki School of Economics and Business Administration : W
name: Reports / Teknillinen korkeakoulu / Laboratory of Paper Technology. B
name: Publication series / National Defence College, Department of Management and Leadership. 1, Research reports
name: Julkaisuja / Tampereen yliopisto, yrityksen taloustieteen laitos. A
name: Julkaisusarja / Sotatieteen laitos. 2, Strategian tutkimuksia
name: Työryhmämuistio / Työministeriö
name: Working papers / University of Helsinki, Department of Education, Center for Activity Theory and Developmental Work Research
name: Julkaisusarja. A, Tampereen yliopisto. Hoitotieteen laitos
name: FinSoc Työpapereita / Stakes, sosiaalipalvelujen evaluaatiryhmä
name: Helsingin kauppakorkeakoulun julkaisusarja. B
name: [Oppimateriaaleja / Helsingin yliopisto, Lahden tutkimus- ja koulutuskeskus]
name: Proceedings of the Vaasa School of Economics : Economics
name: Series / National Defence University, Department of strategic and defence studies. 4, Working papers
name: Katsauksia / Jyväskylän yliopisto, opettajankoulutuslaitos
name: Tampereen yliopisto Aluetieteen laitos
name: Statistical summary / National Research and Development Centre for Welfare and Health
name: Kasvatustieteen laitoksen julkaisuja
name: Sosiaalipolitiikan laitoksen tutkimuksia : Sarja C, Sosiaalipolitiikan käytäntö ja opetus
name: Päijät-Hämeen seutukaavaliiton julkaisu. C
name: Helsingin kauppakorkeakoulun opetusmonisteita
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. E
name: Leviläinen
name: Rap. (Tek. korkeak., Akust. äänenkäs.tek. lab.)
name: Sosiaalipolitiikan laitoksen tutkimuksia : Sosiaalipolittikan käytäntö ja opetus / Tampereen yliopisto. Sarja C
name: Julk. - Lappeenrannan tek. korkeak., Koul.- kehitt.k
name: Pohjois-Savon ammattikorkeakoulun julkaisusarja : B
name: Izdanie / Regional'nyj Soûz Severnoj Poh"ânmaa
name: Jyväskylän yliopisto. Kasvatustieteiden tutkimuslaitoksen julkaisusarja A. Tutkimuksia
name: Teknillisen korkeakoulun teknillisen fysiikan julkaisuja : B
name: Proceedings of the University of Vaasa : Reports
name: Sos.- terv.minist. työryhmämuistioita

PropertyValue
value: 000880146
property ID: FI-MELINDA

Mechanical verification of invariant properties of DisCo specifications
publisher: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
is part of: Fennica
is part of: Helsingin kauppakorkeakoulun julkaisuja. Sarja C
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
number of pages: xiii, 210, [1] s.
publisher: Tampereen teknillinen korkeakoulu
publication:
  location: Tampere
  organizer: Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
  organizer: Tampereen teknillinen korkeakoulu
example of work: Mechanical verification of invariant properties of DisCo specifications
date published: 1997
isbn: 9517228856
type: Instance
description: kuvitettu
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
type: CreativeWork

PropertyValue
property ID: FI-FENNI
value: 589193

Mechanical verification of invariant properties of DisCo specifications
type: Work
work example: Mechanical verification of invariant properties of DisCo specifications
type: CreativeWork
language: en
author: Kellomäki, Pertti
P60049: http://rdaregistry.info/termList/RDAContentType/1020
is part of: Fennica
about: ohjelmointikielet
about: DisCo