Inssi

Helecon

Tenttu

haku: @keyword computer aided verification / yhteensä: 4

viitteet: 1-4 / 4

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
1.	Solving Boolean Equation Systems	2005	Keinänen, Misa
2.	On Model Checking Safety Properties	2002	Latvala, Timo
3.	Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints	2000	Latvala, Timo
4.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo

« edellinen sivu | seuraava sivu »

INSSI