Suomi, Kirjoituksia isän-maallisista aineista
name: Julkaisu / Seutusuunnittelun keskusliitto. B
name: Suomen elokuva-arkiston julkaisuja
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja B / Jyväskylän yliopisto. Teoriaa ja käytäntöä
name: Seutusuunnittelun keskusliitto. Julkaisu A
name: Työpapereita / Stakes
name: Series / National Defence College, Department of Strategic and Defence Studies. 4, Working Paper
name: Valtion teknillinen tutkimuskeskus. Betonitekniikan laboratorio, Tiedonanto
name: Julkaisusarja / Savonia-ammattikorkeakoulu. D
name: Julkaisu / Oulun yliopisto. Vesirakennustekniikan laitos. Sarja A
name: [Kommittébetänkande] : till Hans Kejserliga Majestät från Kommittén för uppgörande af förslag till omorganisation af det lägre tekniska undervisningsväsendet i Finland underdånigst
name: Acta academiae Aboensis. Ser. A, Humaniora
name: Health / Central Statistical Office of Finland
name: Helsingfors universitet, landsbygdens forsknings- och utbildningsinstitut, Seinäjoki : Serie B
name: Ingenjörsorganisationernas skolningscentral
name: Forschungsbericht / Institut für Erziehungswissenschaft der Universität Jyväskylä
name: Helsingin yliopisto, maaseudun tutkimus- ja koulutuskeskus. Sarja B
name: Acta Universitatis Tamperensis. / Ser. A
name: (Tiedotteita / Valtion teknillinen tutkimuskeskus
name: Julkaisu / Hämeen ammattikorkeakoulu
name: STM:n monisteita
name: TECO publ
name: Oulun yliopisto. Rakennetekniikan laitos. Julkaisu
name: Tampereen teknillinen korkeakoulu. Tie- ja liikennetekniikka
name: Opettajakorkeakoulun julkaisuja : D
name: Tiekartta 2012
name: Palkansaajien tutkimuslaitoksen raportteja
name: Research reports. A
name: Series of publications
name: Teknillinen korkeakoulu. Konetekniikan osasto. Kevytrakennetekniikan laboratorio. Sarja B. Raportti
name: Julkaisu / Pirkanmaan liitto : D
name: Report / Dept. Of Mathematics and Statistics, University of Tampere. A
name: Teknillinen korkeakoulu, konetekniikan osasto, LVI-laboratorio : B
name: Etelä-Pohjanmaan liiton julkaisu. B, Selvitykset ja tutkimukset
name: Helsingin yliopiston sosiaalipsykologian laitoksen tutkimuksia = Research reports / University of Helsinki, Department of Social Psychology
name: Eurooppatietoa & yhteiskunta
name: VTT Publications
name: Tutkimuksia / Kasvatustieteiden tutkimuslaitoksen julkaisusarja A
name: Teknillinen korkeakoulu : Arkkitehtiosasto : Diplomityöluettelo 1971
name: Julkaisusarja / Sotatieteen laitos. 3, Strategian asiatietoa
name: Helsinki University of Technology SimLab publications. Report series
name: Suomi : matkailu ja liike-elämä
name: Reports / Rolf Nevanlinna Institute. B
name: Tutkimuksia ja selvityksiä / Asuntohallitus, Tutkimus- ja suunnitteluosasto
name: Julkaisuja / Turun yliopisto. Poliittisen historian laitos. C
name: Helsingin yliopisto. Sosiaalipolitiikan laitos. Tutkimuksia
name: Julk. - Hels. yliop., viest. laitos, 1
name: Kasvatustieteellisen tiedekunnan tutkimuksia / Joensuun yliopisto
name: Acta Wasaensia, Liiketaloustiede, Johtaminen ja organisaatiot
name: Suomen kotiseutuliiton julkaisuja
name: Julkaisusarja / Pohjois-Savon ammattikorkeakoulu : C
name: Komiteanmietintö / Koulutussuunnittelun neuvottelukunta
name: Tampereen yliopisto. Yhteiskuntatieteiden tutkimuslaitos. Sarja C
name: Aalto-yliopiston julkaisusarja. Väitöskirjat
name: Yhteiskuntatieteiden tutkimuskeskus. Työelämän tutkimuskeskus. Tampereen yliopisto. Sarja T
name: Tekniska högskolan i Helsingfors. Skeppsbyggnadstekniska laboratoriet : M
name: Julkaisu. C / Etelä-Pohjanmaan liitto
name: Publications of the Helsinki University Institute of International Economic Law = Helsingin yliopiston Kansainvälisen talousoikeuden instituutin julkaisuja
name: Acta Vasaensia. Liiketaloustiede
name: Report : A
name: Hels. Univ. Tech., Autom. Tech. Lab., A, Res. rep
name: [Pohjois-Savon ammattikorkeakoulun julkaisusarja]. B
name: Tulevaisuus on tiedossa / Matkailun koulutus- ja tutkimuskeskus. A
name: Series / University of Helsinki, Seinäjoki Institute for Rural Research and Training. A
name: Helsinki University of Technology publications in engineering physics and mathematics : A
name: Helsingin kauppakorkeakoulu. Työpapereita F
name: PIRKANMAAN LIITTO. SARJA C
name: Kielitiede
name: Acta Universitatis Tamperensis ser A vol
name: Julk.sar. - Sotat. laitos, 3, Strateg. asiatietoa
name: Reports from the Language Centre for Finnish Universities
name: Jyväskylän yliopisto. Liikuntakasvatuksen laitos. Sarja B, Opetusmonisteita
name: Teknillinen korkeakoulu. Sovelletun elektroniikan laboratorio. Series A
name: Komiteamietintö. A
name: VTT Tiedotteita / Valtion teknillinen tutkimuskeskus
name: Selosteita ja katsauksia / Chydenius-instituutti
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja B. B, Teoriaa ja käytäntöä
name: Helsinki School fo Economics. Series C
name: Lappeenrannan teknillinen korkeakoulu. Kemiantekniikan osasto. Julkaisu
name: Amos Andersonin taidemuseon julkaisuja
name: Teknillinen korkeakoulu. LVI-laboratorio. Raportti

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

PropertyValue
property ID: FI-MELINDA
value: 000880146

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

PropertyValue
property ID: FI-FENNI
value: 589193