Inssi

Helecon

Asiasanasto

Tenttu

haku: @keyword Petri Nets / yhteensä: 10

viitteet: 5-10 / 10

« edellinen sivu | seuraava sivu »

	otsikko	vuosi	tekijä
5.	Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints	2000	Latvala, Timo
6.	Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis	1999	Junttila, Tommi
7.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
8.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
9.	PrT-net Based Analysis of Information Flow Security Nets	1995	Juopperi, Jari
10.	On the Compositionality and Analysis of High-Level Nets	1991	Lilius, Johan

« edellinen sivu | seuraava sivu »

INSSI