Komiteanmietintö, B
name: Musta taide : photomagazine
name: Julkaisuja / Jyväskylän yliopisto, taloustieteiden tiedekunta
name: Tampereen teknillinen korkeakoulu, rakennustekniikan osasto
name: Working group memorandums / Ministry of Social Affairs and Health
name: Publication series of the University of Art and Design Helsinki. B
name: Tampereen yliopisto. Kasvatustieteiden laitos. Opetusmonisteet. B
name: [Eurooppatietoa]
name: Publications / Helsinki University of Technology, Laboratory of Structural Engineering and Buildings Physics
name: Acta Universitatis Tamperensis. Ser. B
name: Julkaisusarja / Maanpuolustuskorkeakoulu, strategian laitos. 4, Työpaperi
name: Suomi : eranto 1972 = Finland : missvisning 1972 : declination 1972
name: Julkaisuja. [sarja] c
name: Teknillinen korkeakoulu. LVI-laboratorio. Sisäilmastoprojekti. Raportti. C. 38
name: Joensuun yliopisto. Historian tutkimuksia
name: Tutkimuksia. Helsingin yliopisto, soveltavan kasvatustieteen laitos
name: Sarja F / Humanistinen ammattikorkeakoulu
name: Julkaisu / Tampereen yliopisto. B, Opetusmonisteet
name: Publikaciâ Ministerstva prosveŝeniâ Finlândii
name: Studia bibliografica
name: Department of Social Policy Research Reports
name: Tampereen yliopisto, kasvatustieteiden laitos. B, Opetusmonisteet
name: Raportti / Tampereen yliopisto, Matemaattisten tieteiden laitos. A
name: Historiallisia tutkimuksia
name: Julkaisusarja / Tampereen yliopisto, hoitotieteen laitos
name: Historian tutkimuksia / Joensuun yliopisto, Humanistinen tiedekunta
name: Tampereen yliopisto. Sosiologian laitos. Working Papers
name: Oulun yliopisto, rakennetekniikan laboratorio
name: Tutkimuksia / Tampereen yliopisto, sosiaalipolitiikan laitos. Sarja A
name: Julkaisuja / Maatalouden taloudellinen tutkimuslaitos = Research publications / Agricultural Economics Research Institute, Finland
name: Raportteja. Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus
name: Julkaisusarja. B. Selosteita / Turun yliopiston kasvatustieteiden tiedekunta
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos : Sarja B 1, Oppikirjoja
name: Taideteollisen korkeakoulun julkaisusarja. C
name: Tampereen yliopisto. Hallintotiede. A
name: Suomen Kotiseutuliiton julkaisuja / Suomen kotiseutuliitto
name: Tietojenkäsittelytieteen laitoksen julkaisuja : Sarja B, Raportti / Helsingin yliopisto
name: Vaasan korkeak. julk., Opet.monist., Tietotek
name: Poliittisen historian julkaisuja
name: Komiteanmietintö. Kommittébetänkande
name: Julkaisusarja. A / Valtion koulutuskeskus
name: (Tutkimuksia / Valtion teknillinen tutkimuskeskus
name: Tutkimuksia / [Helsingin yliopisto, käyttäytymistieteellinen tiedekunta, opettajankoulutuslaitos]
name: Tampereen yliopisto. Kansantaloustieteen laitos. Sarja B
name: Research reports / University of Tampere, School of Business Administration. Series A2
name: Suomi-kurssi : oppimateriaaleja / Helsingin yliopisto. Lahden tutkimus- ja koulutuskeskus
name: VTT tiedotteita, bio- ja elintarviketekniikka
name: Suomalaisen teologisen kirjallisuusseuran julkaisuja / Kari Ruotsalainen
name: Suomi : tiekartta = Finland : vägkarta = road map = Strassenkarte
name: Jyväskylän yliopisto. Terveystieteen laitos. Sarja B, Katsauksia
name: Publication Series of the University of Art and Design Helsinki / Taideteollinen korkeakoulu. B
name: Publications of Amos Anderson Art Museum. New Series
name: Opetusmoniste / Jyväskylän yliopisto
name: Verkkojulkaisusarja
name: Suomalaisen Kirjallisuuden Seuran Toimituksia : Tiede
name: Julk. - Tamp. yliop., Kirj.t. inf. laitos., A, Tutk.rap
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja : B
name: Suomi (Helsinki. 1841)
name: Teknillinen korkeakoulu. Sähkötekniikan osasto. Sähkömekaniikan laboratorio
name: Julkaisu / Päijät-Hämeen seutukaavaliitto
name: Publication / Helsinki University of Technology, Faculty of Electrical Engineering, Acoustics Laboratory
name: VTT tiedotteita = VTT research notes
name: Amos Andersonin taidemuseun julkaisuja. Uusi sarja
name: Rep. - Hels. Univ. of Technol., Dep. of Tech. Phys., B
name: Tampereen Yliopisto, Kotimainen Kirjallisuus
name: Series / National Defence College, Department of Tactics and Operations Art : 1
name: Acta Academiae socialis : Ser. A
name: Savonia University of Applied Sciences Serie : B
name: Publications of the University of Industrial Arts. B
name: Hels. Univ. Technol. publ. telecommun. softw. multimed., C (Pain.)
name: Oppimateriaaleja / Helsingin yliopisto
name: MKTK:n julkaisuja : Sarja A
name: Kielikeskusmateriaalia = Matériel pédagogique du Centre de langues des universités
name: Tutkimuksia / Helsingin yliopisto, yhteiskuntapolitiikan laitos
name: Julk. - Tek. korkeak., Arkkit.os., Raken.suunnit. laitos, C
name: Savonia-ammattikorkeakoulun julkaisusarja. C1
name: Raportti / Tampereen teknillinen korkeakoulu. Lämpötekniikan ja koneopin laboratorio
name: Izdanije Natsionalnogo arhiva Finljandii
name: Savonia-ammattikorkeakoulun julkaisusarja B
name: Series : 1 / Finnish National Defence University, Department of Tactics and Operational Art
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Sosiologia

Model checking the branching time temporal logic CTL
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Komiteanmietintö, B
description: kuvitettu
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu
type: Instance
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
type: CreativeWork
isbn: 9512236036
publisher: Teknillinen korkeakoulu
date published: 1997
example of work: Model checking the branching time temporal logic CTL
number of pages: 69, iii, [3] s.
is part of: Fennica

Model checking the branching time temporal logic CTL
type: Work
P60049: http://rdaregistry.info/termList/RDAContentType/1020
language: en
is part of: Fennica
author: Heljanko, Keijo
type: CreativeWork
work example: Model checking the branching time temporal logic CTL

PropertyValue
value: fx581297
property ID: skl

PropertyValue
value: 581297
property ID: FI-FENNI

PropertyValue
value: 000162605
property ID: FI-MELINDA