Inssi

Helecon

Tenttu

search query: @keyword computer aided verification / total: 4

references: 1-4 / 4

« previous page | next page »

	title	year	author
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

« previous page | next page »

INSSI