Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword PROD / yhteensä: 7

viitteet: 5-7 / 7

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
5.	Methodology of Dynamical Analysis of SDL Programs Using Predicate/Transition Nets	1997	Malmqvist, Markus
6.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo
7.	Model Checking the Branching Time Temporal Logic CTL	1997	Heljanko, Keijo

« edellinen sivu | seuraava sivu »

INSSI