Tampereen yliopisto. Kansantaloustieteen laitos. D
name: Julk.sar. - Hels. yliop., Yl.lääket. laitos
name: Kymenlaakson ammattikorkeakoulun julkaisusarja : B, Tutkimuksia ja raportteja
name: Julkaisu / Oulun yliopisto, arkkitehtuurin osasto. C
name: Series / National Defence University, Department of Strategic and defence studies. 4, Working papers
name: Julkaisusarja C / Tampereen yliopisto. Tietojenkäsittelyopin laitos
name: Report / University of Helsinki, Department of meteorology
name: Reports / Laboratory of Paper Technology. Series A
name: Helsinki University of Technology Laboratory of Computational Engineering Publications = Teknillisen korkeakoulun Laskennallisen tekniikan laboratorion julkaisuja.Report B
name: Julkaisu / Talonrakennustekniikka
name: Department of Computer and Information Sciences, University of Tampere : A
name: Vaasan yliop. julk., Opet.monist., Liiketaloust
name: Suomalaisen kirjallisuuden Seuran toimituksia
name: Turun yliopiston kasvatustieteiden tiedekunta. Julkaisusarja. B, Selosteita
name: Helsingin yliopisto. Meteorologian laitos. Report
name: Vaasan yliop. julk., Tutk., Mat
name: Aalto-yliopiston taideteollisen korkeakoulun julkaisusarja : B
name: Univ. Tamp., Res. Inst. Soc. Sci., B, Res. rep
name: Helsinki University of Technology. Automation Technology Laboratory. Series A, Research reports
name: Hels. Univ. Technol., Digital Syst. Lab., C
name: vtt
name: Acta Wasaensia : Liiketaloustiede
name: Tutkimuksia / Tampereen yliopisto, sosiaalipolitiikan ja sosiaalityön laitos. Sarja B
name: Aiheita / STAKES
name: Julk. - Hämeen amm.korkeak., A
name: Raportteja : f Sosiaali- ja terveysalan tutkimuksia
name: Sosiaalipolitiikan laitoksen tutkimuksia.Sarja C.Sosiaalipolitiikan käytäntö ja opetus
name: Julkaisusarja. Sarja C / Lapin seutukaavaliitto
name: Julkaisu. Yhteiset lapsemme - All Our Children ry
name: Ins.järj. koul.k
name: Finnish Defence College, Department of Technology : Series 1, Military technology research
name: Acta Wasaensia. Business administration, accounting and finance
name: Publications / Kymenlaakson ammattikorkeakoulu, University of Applied Sciences : Series B, Research and reports
name: Suomi : Finland = Filjandija = Finnland
name: Acta Wasaensia : Oikeustiede
name: Julkaisusarja / Tampereen yliopisto. Hoitotieteen laitos.. A
name: Research reports / Department of Special education, University of Jyväskylä
name: Opetusmonisteet / Oulun yliopisto, tietojenkäsittelytieteiden laitos. C
name: Research reports / Helsinki University of Technology, Institute of Matematics. A
name: Publications : Dissertation series / Aalto University, School of Science and Technology, SimLab
name: Publikation / Utbildnings och forskningscentralen för turism : A
name: Humanistinen ammattikorkeakoulu. Sarja D
name: TKK. Tietekniikka. T
name: University of Oulu. Institute of Data Processing Science : Series B, Working papers
name: Työpapereita = Working papers / Helsingin kauppakorkeakoulu. F
name: Julkaisusarja / Sotatieteen laitos. Strategian toimisto. 2, Strategian ja turvallisuuspolitiikan asiakirjoja
name: Acta Wasaensia : Tietotekniikka / Vaasan yliopisto
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos : A, Tutkimuksia
name: Yrityksen taloustieteen ja yksityisoikeuden laitos / Tampereen yliopisto. B, Tutkimuksia ja monisteita
name: Research reports / University of Tampere, Department of Regional Studies : Series A
name: Helsingin yliopiston yksityisoikeuden laitoksen julkaisuja. A
name: Suomalaisen kirjallisuuden seuran toimituksia. Kotimaisten kielten tutkimuskeskuksen julkaisuja
name: Julkaisusarja / Maanpuolustuskorkeakoulu, tekniikan laitos. 2, Taktiikan asiatietoa
name: Kanta-Hämeen seutukaavaliitto. Julkaisu. 2
name: Suomalaisen kirjallisuuden seuran toimituksia. Tieto
name: Undersökningar / Lantbruksekonomiska forskningsanstalten
name: Raportteja / Sosiaali- ja terveysalan tutkimus- ja kehittämiskeskus Stakes
name: Stakes. Raportteja
name: STAKES. Raportteja
name: Tampereen yliopiston täydennyskoulutuskeskus : Julkaisusarja A. 1/05
name: Ingenjörsorganisationernas skolningscentral
name: University of Tampere, School of Business Administration. Series A 1, Studies
name: tutkimuksia
name: Työpapereita / Helsingin yliopisto. Kasvatustieteen laitos. Toiminnan teoria ja kehittävän työntutkimuksen yksikkö
name: Teknillinen korkeakoulu, tietotekniikan osasto, tietoliikenneohjelmistojen ja multimedian laboratorio : A
name: Sarja B. Projektiraportit ja selvitykset
name: Publication / Regional Council of South Ostrobothnia : A
name: Aalto-yliopiston julkaisusarja. Kauppa + talous
name: Teknillinen korkeakoulu. Koneinsinööriosasto. Lujuusopin laboratorio
name: Vaasan yliopiston julkaisuja, Tutkimuksia
name: Ammatillisen opettajakorkeakoulun julkaisuja / Hämeen ammattikorkeakoulu. D
name: Tutkimuksia / Stakes
name: Terveys (Hels., 1936)
name: Series of publications / University of Tampere, Department of Computer Sciences : D, Net publications
name: Katsauksia / Väestöntutkimuslaitos : E
name: Acta Wasaensia, Mathematics. Operational research
name: Report / Helsinki University of Technology, Department of Technical Physics. A
name: Tutkimuksia / Tampereen yliopisto. Sarja A
name: Julkaisusarja. Valtion koulutuskeskus B
name: Research report / University of Jyväskylä. Department of education
name: HUMAK University of Applied Sciences : Series C, Educational materials

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

PropertyValue
value: fx581297
property ID: skl

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

PropertyValue
value: 000162605
property ID: FI-MELINDA

PropertyValue
value: 581297
property ID: FI-FENNI